%0 Conference Paper %1 conf/soca/HeinzeAM14 %A Heinze, Thomas S. %A Amme, Wolfram %A Moser, Simon %B SOCA %D 2014 %I IEEE Computer Society %K %P 25-32 %T Compiling More Precise Petri Net Models for an Improved Verification of Service Implementations. %U http://dblp.uni-trier.de/db/conf/soca/soca2014.html#HeinzeAM14 %@ 978-1-4799-6833-6

@inproceedings{conf/soca/HeinzeAM14, added-at = {2023-12-12T18:00:59.000+0100}, author = {Heinze, Thomas S. and Amme, Wolfram and Moser, Simon}, biburl = {https://www.bibsonomy.org/bibtex/29afddd80ec932a24c62f841bd37cb1bb/admin}, booktitle = {SOCA}, crossref = {conf/soca/2014}, ee = {http://doi.ieeecomputersociety.org/10.1109/SOCA.2014.8}, interhash = {0c2a619b23e48e69f0f5ab05972f50cc}, intrahash = {9afddd80ec932a24c62f841bd37cb1bb}, isbn = {978-1-4799-6833-6}, keywords = {}, pages = {25-32}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T18:00:59.000+0100}, title = {Compiling More Precise Petri Net Models for an Improved Verification of Service Implementations.}, url = {http://dblp.uni-trier.de/db/conf/soca/soca2014.html#HeinzeAM14}, year = 2014 }