02682nam 2200577 a 450 991048403440332120200520144314.01-280-38730-097866135652283-642-13754-710.1007/978-3-642-13754-9(CKB)2670000000028983(SSID)ssj0000446834(PQKBManifestationID)11318387(PQKBTitleCode)TC0000446834(PQKBWorkID)10511879(PQKB)11652248(DE-He213)978-3-642-13754-9(MiAaPQ)EBC3065449(PPN)149072988(EXLCZ)99267000000002898320100807d2010 uy 0engurnn#008mamaatxtccrTime for verification essays in memory of Amir Pnueli /Zohar Manna, Doron A. Peled (eds.)1st ed. 2010.Berlin Springer20101 online resource (VIII, 413 p. 113 illus.)Lecture notes in computer science,0302-9743 ;6200LNCS sublibrary. SL 1, Theoretical computer science and general issuesBibliographic Level Mode of Issuance: Monograph3-642-13753-9 Includes bibliographical references and index.Modal and Temporal Argumentation Networks -- Knowledge Based Scheduling of Distributed Systems -- Quantitative Simulation Games -- The Localization Reduction and Counterexample-Guided Abstraction Refinement -- A Scalable Segmented Decision Tree Abstract Domain -- Towards Component Based Design of Hybrid Systems: Safety and Stability -- Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars -- Inference Rules for Proving the Equivalence of Recursive Procedures -- Some Thoughts on the Semantics of Biocharts -- Unraveling a Card Trick -- An Automata-Theoretic Approach to Infinite-State Systems -- On the Krohn-Rhodes Cascaded Decomposition Theorem -- Temporal Verification of Reactive Systems: Response -- The Arrow of Time through the Lens of Computing -- What Is in a Step: New Perspectives on a Classical Question.Lecture notes in computer science ;6200.LNCS sublibrary.SL 1,Theoretical computer science and general issues.ScienceMethodologyScienceMethodology.005.11Manna Zohar25952Peled Doron A67500MiAaPQMiAaPQMiAaPQBOOK9910484034403321Time for verification4187024UNINA