Fulltext present in this item

Thumbnail
Fulltext: 91579.pdf
Format: PDF
Description: preprint version
Embargo: until further notice
Title: Automata-Based CSL Model Checking
Author(s): Zhang, L.; Jansen, D.N. ; Nielson, F.; Hermanns, H.
Publication year: 2011
In: Aceto, L.; Henzinger, M.; Sgall, J. (ed.), Automata, Languages and Programming, pp. 271-282
Publisher: Berlin : Springer
ISBN: 9783642220111
Series: Lecture Notes in Computer Science ; 6756
DOI: http://dx.doi.org/10.1007/978-3-642-22012-8_21
Publication type: Part of book or chapter of book

Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/91579   http://hdl.handle.net/2066/91579

Display more details
Editor(s): Aceto, L.; Henzinger, M.; Sgall, J.
Subject: Software Science
Organization: Software Science
Book title: Aceto, L.; Henzinger, M.; Sgall, J. (ed.), Automata, Languages and Programming
Page start: p. 271
Page end: p. 282

This item appears in the following Collection(s)

Browse

Statistics