Verification by hand using linear time temporal logic

W. Penczek, R. Kuiper

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Original languageEnglish
Title of host publicationLogic : mathematics, language, computer science and philosophy, Volume II
EditorsH.C.M. Swart, de, xx et al.
Place of PublicationFrankfurt am Main
PublisherPeter Lang
ISBN (Print)3-631-45435-X
Publication statusPublished - 1994

Cite this