English
 
User Manual Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

Approximately Bisimilar Symbolic Models for Digital Control Systems

MPS-Authors
/persons/resource/persons144534

Majumdar,  Rupak
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

External Ressource
No external resources are shared
Fulltext (public)
There are no public fulltexts stored in PuRe
Supplementary Material (public)
There is no public supplementary material available
Citation

Majumdar, R., & Zamani, M. (2012). Approximately Bisimilar Symbolic Models for Digital Control Systems. In P. Madhusudan, & S. A. Seshia (Eds.), Computer Aided Verification: 24th International Conference, CAV 2012 (pp. 362-377). New York, NY: Springer.


Cite as: http://hdl.handle.net/11858/00-001M-0000-0028-8AF8-3
Abstract
There is no abstract available