First order linear temporal logic over finite time structures (bibtex)

by Cerrito, Serenella, Cialdea Mayer, Marta and Praud, S.

Reference:

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 Entry:

@article{Cerrito199962,
	Author = {Cerrito, Serenella and Cialdea Mayer, Marta and Praud, S.},
	Date-Added = {2019-09-16 14:38:36 +0200},
	Date-Modified = {2019-09-16 14:38:36 +0200},
	Document_Type = {Conference Paper},
	Journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	Pages = {62-76},
	Source = {Scopus},
	Title = {First order linear temporal logic over finite time structures},
	Url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84886295158&partnerID=40&md5=897f884c1d0e4ec5e89d82ddb7bbd548},
	Volume = {1705 LNAI},
	Year = {1999},
	Bdsk-Url-1 = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84886295158&partnerID=40&md5=897f884c1d0e4ec5e89d82ddb7bbd548}}