BibTeX
@MISC{Diekert95editors.the,
author = {Volker Diekert and Paul Gastin},
title = {editors. The Book of Traces},
year = {1995}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Pure future local temporal logics are
