 |
Conference papers
Asymptotic behaviour in temporal logic
Eugene Asarin 1
Author
Michel Blockelet 2
Author
Aldric Degorre 1
Author
Catalin Dima 3
Mail :
Author IdHAL : catalin-dima arXiv : https://arxiv.org/a/catalin dima
Chunyan Mu
Author
1
LIAFA - Laboratoire d'informatique Algorithmique : Fondements et Applications (Université Paris Diderot, Bât. Sophie Germain, case postale 7014, 75205 Paris cedex 13 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7089 (France)
- UPD7 - Université Paris Diderot - Paris 7 (5 rue Thomas-Mann - 75205 Paris cedex 13 - France)
2
LSV - Laboratoire Spécification et Vérification [Cachan] (Bâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEX - France)
- ENS Cachan - École normale supérieure - Cachan (61, avenue du Président Wilson - 94230 Cachan - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8643 (France)
3
LACL - Laboratoire d'Algorithmique Complexité et Logique (Dép.d'informatique Bat.P2 61,avenue du général de Gaulle 94010 CRETEIL CEDEX - France)
- UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12 (61 avenue du Général de Gaulle - 94010 Créteil cedex - France)
- CNRS - Centre National de la Recherche Scientifique : FRE2673 (France)
Abstract : no abstract
Domain :
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01699933
Contributor : Catalin Dima <>
Submitted on : Friday, February 2, 2018 - 10:51:28 PM
Last modification on : Friday, March 27, 2020 - 3:58:17 AM
Contributor : Catalin Dima <>
Submitted on : Friday, February 2, 2018 - 10:51:28 PM
Last modification on : Friday, March 27, 2020 - 3:58:17 AM
Links full text
Identifiers
- HAL Id : hal-01699933, version 1
- DOI : 10.1145/2603088.2603158
Collections
CNRS | UNIV-PARIS7 | ENS-CACHAN | UPEC-UPEM | LACL | USPC | UPEC
Citation
Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, Chunyan Mu. Asymptotic behaviour in temporal logic. Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, 2014, Unknown, Unknown Region. pp.10:1--10:9, ⟨10.1145/2603088.2603158⟩. ⟨hal-01699933⟩
Metrics
Record views
