Safraless Synthesis for Epistemic Temporal Specifications - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Safraless Synthesis for Epistemic Temporal Specifications

Résumé

no abstract

Dates et versions

hal-01699934 , version 1 (02-02-2018)

Identifiants

Citer

Rodica Bozianu, Catalin Dima, Emmanuel Filiot. Safraless Synthesis for Epistemic Temporal Specifications. Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, 2014, Unknown, Unknown Region. pp.441--456, ⟨10.1007/978-3-319-08867-9_29⟩. ⟨hal-01699934⟩

Collections

CNRS LACL UPEC
40 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More