Language Preservation Problems in Parametric Timed Automata
Saved in:
| Published in: | Logical Methods in Computer Science |
|---|---|
| Main Authors: | , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
episciences.org
01.01.2018
|
| Subjects: | |
| ISSN: | 1860-5974, 1860-5974 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Author | Lime, Didier Markey, Nicolas André, Étienne |
|---|---|
| Author_xml | – sequence: 1 fullname: André, Étienne – sequence: 2 fullname: Lime, Didier – sequence: 3 fullname: Markey, Nicolas |
| BackLink | https://cir.nii.ac.jp/crid/1874242817502594176$$DView record in CiNii |
| BookMark | eNpNjk1LAzEYhINUsNaCP2EPXlfz-SaLp1K0CgsW2ru8yb4pKfsBm62_3xU9OIeZZy7D3LJFP_TE2L3gj1KBck9tF3Ip4IothQNemsrqxT--Yeucz3yWUsJJWLLnGvvTBU9U7EfKNH7hlIZ-LoNvqctFmhlH7GgaUyiOqaOm2FymocMJ79h1xDbT-i9X7PD6cty-lfXH7n27qctzZaAE15AOBiMQRUdIUTQ8BC3BGw_eW0-KU9QqSO4VSROMJkJpI8wvvVqxh9_VPqXPkH5cOKullk5Yw6WptLCgvgHHlkna |
| ContentType | Journal Article |
| Contributor | Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) Department of Formal Methods (LORIA - FM) Laboratoire des Sciences du Numérique de Nantes (LS2N) ; Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST) ; Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique) ; Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT) Inria Rennes – Bretagne Atlantique Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS) Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Re |
| Contributor_xml | – sequence: 1 fullname: National Institute of Informatics (NII) – sequence: 2 fullname: Japanese French Laboratory for Informatics (JFLI) ; National Institute of Informatics (NII)-The University of Tokyo (UTokyo)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS) – sequence: 3 fullname: Proof-oriented development of computer-based systems (MOSEL) ; Department of Formal Methods (LORIA - FM) ; Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS) – sequence: 4 fullname: Modeling and Verification of Distributed Algorithms and Systems (VERIDIS) ; Max-Planck-Institut für Informatik (MPII) ; Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM) ; Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS) – sequence: 5 fullname: Laboratoire des Sciences du Numérique de Nantes (LS2N) ; Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST) ; Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique) ; Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT) – sequence: 6 fullname: SUpervision of large MOdular and distributed systems (SUMO) ; Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4) ; Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique) ; Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique) ; Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique) ; Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique) ; Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT) – sequence: 7 fullname: This work is partially supported by the ANR national research program PACS (ANR-14-CE28-0002), by European projects ERC EQualIS and FET Cassting , by the ANR-NRF French-Singaporean research program ProMiS (ANR-19-CE25-0015) and by ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST – sequence: 8 fullname: ANR PACS (ANR-14-CE28-0002) – sequence: 9 fullname: ANR-14-CE28-0002,PACS,Analyses paramétrées de systèmes concurrents – sequence: 10 fullname: ANR-19-CE25-0015,ProMiS,Mitigation formelle d'attaques via canaux auxiliaires par vérification paramétrée – sequence: 11 fullname: European Project: 308087,EC:FP7:ERC,ERC-2012-StG_20111012,EQUALIS – sequence: 12 fullname: European Project: 601148,EC:FP7:ICT,FP7-ICT-2011-9,CASSTING – sequence: 13 fullname: Proof-oriented development of computer-based systems (MOSEL) ; Department of Formal Methods (LORIA - FM) ; Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS) – sequence: 14 fullname: Modeling and Verification of Distributed Algorithms and Systems (VERIDIS) ; Max-Planck-Institut für Informatik (MPII) ; Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM) ; Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS) – sequence: 15 fullname: Laboratoire des Sciences du Numérique de Nantes (LS2N) ; Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST) ; Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique) ; Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT) – sequence: 16 fullname: SUpervision of large MOdular and distributed systems (SUMO) ; Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4) ; Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; Université de Rennes 1 (UR1) ; Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique) ; Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes 1 (UR1) ; Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique) ; Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; Université de Rennes 1 (UR1) ; Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique) ; Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes 1 (UR1) ; Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique) ; Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT) – sequence: 17 fullname: Japanese French Laboratory for Informatics (JFLI) – sequence: 18 fullname: National Institute of Informatics (NII)-The University of Tokyo (UTokyo)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS) – sequence: 19 fullname: Proof-oriented development of computer-based systems (MOSEL) – sequence: 20 fullname: Department of Formal Methods (LORIA - FM) – sequence: 21 fullname: Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) – sequence: 22 fullname: Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) – sequence: 23 fullname: Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS) – sequence: 24 fullname: Modeling and Verification of Distributed Algorithms and Systems (VERIDIS) – sequence: 25 fullname: Max-Planck-Institut für Informatik (MPII) – sequence: 26 fullname: Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est – sequence: 27 fullname: Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM) – sequence: 28 fullname: Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS) – sequence: 29 fullname: Laboratoire des Sciences du Numérique de Nantes (LS2N) – sequence: 30 fullname: Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST) – sequence: 31 fullname: Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique) – sequence: 32 fullname: Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT) – sequence: 33 fullname: SUpervision of large MOdular and distributed systems (SUMO) – sequence: 34 fullname: Inria Rennes – Bretagne Atlantique – sequence: 35 fullname: Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4) – sequence: 36 fullname: Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) – sequence: 37 fullname: Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) – sequence: 38 fullname: Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique) – sequence: 39 fullname: Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) – sequence: 40 fullname: Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) – sequence: 41 fullname: Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique) |
| DBID | RYH |
| DOI | 10.23638/lmcs-16 10.48550/arxiv.1807.07091 10.23638/lmcs-16(1:5)2020 |
| DatabaseName | CiNii Complete |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1860-5974 |
| GroupedDBID | .4S .DC 29L 2WC 5GY 5VS AAFWJ ADBBV ADMLS ADQAK AENEX AFPKN ALMA_UNASSIGNED_HOLDINGS ARCSS BCNDV EBS EJD FRP GROUPED_DOAJ J9A KQ8 MK~ ML~ M~E OK1 OVT P2P RYH TR2 TUS XSB |
| ID | FETCH-LOGICAL-j956-68de4c5af6eef8eaef1d0cc426b5b6bb7be30ef43c20b3e25c54eea27f6033b3 |
| ISSN | 1860-5974 |
| IngestDate | Fri Jun 27 01:30:15 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-j956-68de4c5af6eef8eaef1d0cc426b5b6bb7be30ef43c20b3e25c54eea27f6033b3 |
| OpenAccessLink | http://dx.doi.org/10.23638/lmcs-16 |
| ParticipantIDs | nii_cinii_1874242817502594176 |
| PublicationCentury | 2000 |
| PublicationDate | 2018-01-01 |
| PublicationDateYYYYMMDD | 2018-01-01 |
| PublicationDate_xml | – month: 01 year: 2018 text: 2018-01-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationTitle | Logical Methods in Computer Science |
| PublicationYear | 2018 |
| Publisher | episciences.org |
| Publisher_xml | – name: episciences.org |
| SSID | ssj0000331826 |
| Score | 2.0664234 |
| SourceID | nii |
| SourceType | Publisher |
| SubjectTerms | [INFO.INFO-ES]Computer Science [cs]/Embedded Systems [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] BC1-199 Computer Science - Logic in Computer Science Electronic computers. Computer science FOS: Computer and information sciences L/U-PTA language preservation Logic Logic in Computer Science (cs.LO) QA75.5-76.95 timed systems timing parameters trace preservation |
| Title | Language Preservation Problems in Parametric Timed Automata |
| URI | https://cir.nii.ac.jp/crid/1874242817502594176 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAON databaseName: DOAJ : Directory of Open Access Journals [open access] customDbUrl: eissn: 1860-5974 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0000331826 issn: 1860-5974 databaseCode: DOA dateStart: 20040101 isFulltext: true titleUrlDefault: https://www.doaj.org/ providerName: Directory of Open Access Journals – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 1860-5974 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0000331826 issn: 1860-5974 databaseCode: M~E dateStart: 20040101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lb9QwELagcOBCeQoorXIACYRCnfgZOFUFxIFWleihNxQ_IhnRtNpsqz3x25mxnc12eygcuFiWE1lOvtF4PJ6Zj5BXuqsdWMpdabWWJXeUlsYLUXJlfeU157UxkWxCHR7qk5PmKHuVhkgnoPpeLxbN-X-FGsYAbEyd_Qe4l5PCAPQBdGgBdmj_Cvhv2QMZoytGlysmBCBxTIx-PWoxIgtL88cMEPdu72J-dpqS1Kbk6KwTDyLF9JCyAxMDxKgQJheCyxfuCBj2dDOPgWTLcJ-QyNg_BRemcGDME8rU1yiP7RUXRKXXXBD-POTtesDYixVtqiUt8cSSNpvrY-v6u2Yylmv_dWqHMuVgrr8SK7DhBjZbhMv3lcYSlIomxq8bpsPKV4CVeI0MXTW9Te7USjSoCg9-T445yhieufCgPi41FS2Os-3mudIF-ZWhN9UH8RYnTs_iQnfXlwkmTB_Ciglz_IDcz2ePYi_JzENyy_ePyOaIapFRfUw-jiJUrIpQMYpQEaC_FKEiilAxitAT8v3L5-P9r2Um2Sh_YglKqZ3nVrSd9L7TvvVd5ai1YLcZYaQxynhGfceZralhvhZWcO_bWnUSfpRhT8lGf9b7Z6RgQjvKOymYdXgZbxqhraoa5zpks5PPyTZ8-Q8bsEUmSDAONRivYHQ3vFLyxQ3Pt8i9SfZeko357MJvk7v2ch6G2U70pexEJP8A_rJX1A |
| linkProvider | ISSN International Centre |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Language+Preservation+Problems+in+Parametric+Timed+Automata&rft.jtitle=Logical+Methods+in+Computer+Science&rft.au=Andr%C3%A9%2C+%C3%89tienne&rft.au=Lime%2C+Didier&rft.au=Markey%2C+Nicolas&rft.date=2018-01-01&rft.pub=episciences.org&rft.issn=1860-5974&rft.eissn=1860-5974&rft_id=info:doi/10.23638%2Flmcs-16&rft_id=info:doi/10.48550%2Farxiv.1807.07091&rft_id=info:doi/10.23638%2Flmcs-16%281%3A5%292020 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1860-5974&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1860-5974&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1860-5974&client=summon |