Bounded model search in linear temporal logic and its application to planning (bibtex)

by Cerrito, Serenella and Cialdea Mayer, Marta

Reference:

Bounded model search in linear temporal logic and its application to planning (Cerrito, Serenella and Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1397 LNAI, 1998.

Bibtex Entry:

@article{Cerrito1998124,
	Author = {Cerrito, Serenella and Cialdea Mayer, Marta},
	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 = {124-140},
	Source = {Scopus},
	Title = {Bounded model search in linear temporal logic and its application to planning},
	Url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84886285869&partnerID=40&md5=39bd24dfcaa80ec28e596451a9d058e7},
	Volume = {1397 LNAI},
	Year = {1998},
	Bdsk-Url-1 = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84886285869&partnerID=40&md5=39bd24dfcaa80ec28e596451a9d058e7}}