Media type: E-Article Title: Practical CTL * model checking: Should SPIN be extended? Contributor: Visser, Willem; Barringer, Howard imprint: Springer Science and Business Media LLC, 2000 Published in: International Journal on Software Tools for Technology Transfer (STTT) Language: Not determined DOI: 10.1007/s100090050042 ISSN: 1433-2779; 1433-2787 Keywords: Information Systems ; Software Origination: Footnote: