Using linear temporal logic to model and solve planning problems (bibtex)

by Cerrito, Serenella and Cialdea Mayer, Marta

Reference:

Using linear temporal logic to model and solve planning problems (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 1480 LNAI, 1998.

Bibtex Entry:

@article{Cerrito1998141,
	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 = {141-152},
	Source = {Scopus},
	Title = {Using linear temporal logic to model and solve planning problems},
	Url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-21344467068&partnerID=40&md5=077b965fb7972e57b580dbdd4624159c},
	Volume = {1480 LNAI},
	Year = {1998},
	Bdsk-Url-1 = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-21344467068&partnerID=40&md5=077b965fb7972e57b580dbdd4624159c}}