Elective Temporal Logic

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2011
Type of Publication:	In Proceedings
Authors:	Costa, Gabriele Matteucci, Ilaria

Book title:	Proceedings of ISARCS 2011





@conference{isarcs2011, author = "Gabriele Costa and Ilaria Matteucci", booktitle = " Proceedings of ISARCS 2011", doi = "10.1145/2000259.2000283", note = "CNR; Nessos, Aniketos, Connect; no tier; citations 1", title = "{E}lective {T}emporal {L}ogic", year = "2011", }
Note:	CNR; Nessos, Aniketos, Connect; no tier; citations 1
[Bibtex]