Publications in ai-romatre-pubs.bib - Author: Praud, S.
1999
[1]
First order linear temporal logic over finite time structures
(
Cerrito, Serenella
,
Cialdea Mayer, Marta
and
Praud, S.
),
In
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, volume 1705 LNAI,
1999
.
[bibtex]
[url]
Powered by
bibtexbrowser