Fixpoint and While Temporal Query Languages

Submitted by lahdakadmin on Tue, 11/26/2013 - 11:04
TitleFixpoint and While Temporal Query Languages
Publication TypeJournal Article
Year of Publication2009
AuthorsBidoit, N, Objois, M
JournalJ. Log. Comput.
Volume19
Pagination369-404