- Monographs in theoretical computer science: an EATCS series, 1431-2654
- Introduction; Transition Systems and Products; Unfolding Products; Search Procedures for the Executability Problem; More on the Executability Problem; Search Procedures for the Repeated Executability Problem; Search Procedures for the Livelock Problem; Model Checking LTL; Summary, Applications, Extensions, and Tools.
- Bibliography Note:
- Includes bibliographical references (pages -164) and index.
- Reproduction Note:
- Electronic reproduction. New York : Springer, 2008. Mode of access: World Wide Web. System requirements: Web browser. Title from title screen (viewed on Oct. 1, 2008). Access may be restricted to users at subscribing institutions.
View MARC record | catkey: 4591819