Media type: E-Article Title: Advances in Computing Science — ASIAN’99: Faster Model Checking for Open Systems Contributor: Mukund, Madhavan; Narayan Kumar, K.; Smolka, Scott A. Published: Springer Berlin Heidelberg, 1999 Published in: Advances in Computing Science — ASIAN’99 (1999), Seite 227-238 Language: Not determined DOI: 10.1007/3-540-46674-6_20 ISBN: 9783540668565; 9783540466741 ISSN: 0302-9743 Origination: Footnote: