01724nam 2200565 a 450 991078192580332120230721032313.01-282-09957-497866120995710-262-26756-X1-4356-4327-5(CKB)1000000000487650(OCoLC)228031090(CaPaEBR)ebrary10223883(SSID)ssj0000227397(PQKBManifestationID)11198522(PQKBTitleCode)TC0000227397(PQKBWorkID)10264333(PQKB)10572750(MiAaPQ)EBC3338793(Au-PeEL)EBL3338793(CaPaEBR)ebr10223883(OCoLC)962452879(EXLCZ)99100000000048765020070911d2008 uy 0engurcn|||||||||txtccrPrinciples of model checking[electronic resource] /Christel Baier, Joost-Pieter KatoenCambridge, Mass. MIT Press20081 online resource (994 p.)Bibliographic Level Mode of Issuance: Monograph0-262-02649-X Includes bibliographical references (p. 931-964) and index.Computer systemsVerificationComputer softwareVerificationComputer systemsVerification.Computer softwareVerification.004.2/4Baier Christel312039Katoen Joost-Pieter312040MiAaPQMiAaPQMiAaPQBOOK9910781925803321Principles of model checking808156UNINA