Verification by hand using linear time temporal logic

W. Penczek, R. Kuiper

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Originele taal-2Engels
TitelLogic : mathematics, language, computer science and philosophy, Volume II
RedacteurenH.C.M. Swart, de, xx et al.
Plaats van productieFrankfurt am Main
UitgeverijPeter Lang
Pagina's229-262
ISBN van geprinte versie3-631-45435-X
StatusGepubliceerd - 1994

Citeer dit

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