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
Pages229-262
ISBN (Print)3-631-45435-X
Publication statusPublished - 1994

Cite this

Penczek, W., & Kuiper, R. (1994). Verification by hand using linear time temporal logic. In H. C. M. Swart, de, & X. et al. (Eds.), Logic : mathematics, language, computer science and philosophy, Volume II (pp. 229-262). Frankfurt am Main: Peter Lang.