de.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

Accurate Widenings and Boundedness Properties of Timed Systems

MPS-Authors
http://pubman.mpdl.mpg.de/cone/persons/resource/persons45084

Mukhopadhyay,  Supratik
Programming Logics, MPI for Informatics, Max Planck Society;

http://pubman.mpdl.mpg.de/cone/persons/resource/persons45201

Podelski,  Andreas
Programming Logics, MPI for Informatics, Max Planck Society;

Locator
There are no locators available
Fulltext (public)
There are no public fulltexts available
Supplementary Material (public)
There is no public supplementary material available
Citation

Mukhopadhyay, S., & Podelski, A. (2001). Accurate Widenings and Boundedness Properties of Timed Systems. In A. Zamulin, M. Broy, & D. Bjorner (Eds.), Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference (pp. 79-94). Berlin, Germany: Springer.


Cite as: http://hdl.handle.net/11858/00-001M-0000-000F-31D3-0
Abstract
There is no abstract available