Media type: E-Book Title: Specification Languages for Stutter-Invariant Regular Properties Contributor: Dax, Christian [Author]; Klaedtke, Felix Christopher [Author]; Leue, Stefan [Author] Published: Konstanz: Bibliothek der Universität Konstanz, 2009 Extent: Online-Ressource Language: English Identifier: Origination: Footnote: First publ. in: Automated technology for verification and analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14 - 16, 2009; proceedings / Zhiming Liu ... (eds.). Heidelberg; Berlin: Springer, 2009, pp. 244-254 (=Lecture Notes in Computer Science ; vol. 5799) Access State: Open Access