%0 Conference Paper %1 conf/concur/MajumdarW13 %A Majumdar, Rupak %A Wang, Zilong %B CONCUR %D 2013 %E D'Argenio, Pedro R. %E Melgratti, Hernán C. %I Springer %K dblp %P 152-166 %T Expand, Enlarge, and Check for Branching Vector Addition Systems. %U http://dblp.uni-trier.de/db/conf/concur/concur2013.html#MajumdarW13 %V 8052 %@ 978-3-642-40183-1

@inproceedings{conf/concur/MajumdarW13, added-at = {2023-08-15T00:00:00.000+0200}, author = {Majumdar, Rupak and Wang, Zilong}, biburl = {https://www.bibsonomy.org/bibtex/2c83278183d3e2dfc239c270c0720e1fa/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2013}, editor = {D'Argenio, Pedro R. and Melgratti, Hernán C.}, ee = {https://doi.org/10.1007/978-3-642-40184-8_12}, interhash = {932542c52d8af0019f9101e564d578a7}, intrahash = {c83278183d3e2dfc239c270c0720e1fa}, isbn = {978-3-642-40183-1}, keywords = {dblp}, pages = {152-166}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T13:06:28.000+0200}, title = {Expand, Enlarge, and Check for Branching Vector Addition Systems.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2013.html#MajumdarW13}, volume = 8052, year = 2013 }