Erwan Bousse
Erwan Bousse
Home
Publications
Talks
Awards
Students
Projects
Services
Software
Teaching
Contact
Steffen Zschaler
Latest
A generic framework for representing and analyzing model concurrency
Cite
×