Computation Tree Logic with Deadlock Detection

R.J. van Glabbeek, B. Luttik, N. Trcka

Research output: Contribution to JournalArticleAcademicpeer-review

176 Downloads (Pure)
Original languageEnglish
JournalLogical Methods in Computer Science
Volume5
Issue number4
DOIs
Publication statusPublished - 2009

Cite this