par Alur, Rajeev;Filiot, Emmanuel ;Trivedi, Ashutosh
Référence Proceedings - Symposium on Logic in Computer Science
Publication Publié, 2012-06-20
Référence Proceedings - Symposium on Logic in Computer Science
Publication Publié, 2012-06-20
Article révisé par les pairs
Titre: |
|
Auteur: | Alur, Rajeev; Filiot, Emmanuel; Trivedi, Ashutosh |
Informations sur la publication: | Proceedings - Symposium on Logic in Computer Science |
Statut de publication: | Publié, 2012-06-20 |
Sujet CREF: | Sciences exactes et naturelles |
Langue: | N/A |
Identificateurs: | urn:issn:1043-6871 |