Verification by hand using linear time temporal logic

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Original language	English
Title of host publication	Logic : mathematics, language, computer science and philosophy, Volume II
Editors	H.C.M. Swart, de, xx et al.
Place of Publication	Frankfurt am Main
Publisher	Peter Lang
Pages	229-262
ISBN (Print)	3-631-45435-X
Publication status	Published - 1994

Cite this

@inbook{63a670dfb3cb40069beea29998473e09,

title = "Verification by hand using linear time temporal logic",

author = "W. Penczek and R. Kuiper",

year = "1994",

language = "English",

isbn = "3-631-45435-X",

pages = "229--262",

editor = "{Swart, de}, H.C.M. and {et al.}, xx",

booktitle = "Logic : mathematics, language, computer science and philosophy, Volume II",

publisher = "Peter Lang",

}