00603nam a2200181 a 4500001001400000003000700014005001700021008004100038020001800079040000800097100002000105245008700125260005100212300003400263504006500297650002200362650003700384vtls000056041KUKTEM20251117150144.0111118t2011    enka   f      001 0 eng d  a9780470027882  aUMP1 aFisher, Michael13aAn introduction to practical formal methods using temporal logic /cMichael Fisher  aChichester, West Sussex, U.K. :bWiley,cc2011  avii, 353 p. :bill. ;c26 cm.  aIncludes bibliographical references (p. [321]-347) and index 0aTemporal automata 0aLogic, Symbolic and mathematical