Radboud Repository
Radboud Repository
→
Collections Radboud University
→
Academic publications
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Fulltext present in this item
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
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)
Faculty of Science
[25173]
Electronic publications
[72030]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications
[162475]
Academic output Radboud University
Search Repository
Search Repository
This Collection
Browse
All of Repository
Collections
Departments
Date Issued
Authors
Titles
Document type
This Collection
Departments
Date Issued
Authors
Titles
Document type
Statistics
View Item Statistics