Computation tree logic with deadlock detection

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

Research output: Book/ReportReportAcademic

88 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages21
Publication statusPublished - 2008

Publication series

NameComputer science reports
Volume0807
ISSN (Print)0926-4515

Cite this