English
 
User Manual Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

Expand, Enlarge, and Check for Branching Vector Addition Systems

MPS-Authors
/persons/resource/persons144534

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

/persons/resource/persons146125

Wang,  Zilong
Group R. Majumdar, Max Planck Institute for Software Systems, 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

Majumdar, R., & Wang, Z. (2013). Expand, Enlarge, and Check for Branching Vector Addition Systems. In P. R. D'Argenio, & H. Melgratti (Eds.), CONCUR 2013 -- Concurrency Theory (pp. 152-166). Berlin: Springer. doi:10.1007/978-3-642-40184-8_12.


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