%0 Conference Paper %1 conf/gg/Padberg016 %A Padberg, Julia %A Schulz, Alexander %B ICGT %D 2016 %E Echahed, Rachid %E Minas, Mark %I Springer %K dblp %P 54-70 %T Model Checking Reconfigurable Petri Nets with Maude. %U http://dblp.uni-trier.de/db/conf/gg/icgt2016.html#Padberg016 %V 9761 %@ 978-3-319-40529-2

@inproceedings{conf/gg/Padberg016, added-at = {2017-05-26T00:00:00.000+0200}, author = {Padberg, Julia and Schulz, Alexander}, biburl = {https://www.bibsonomy.org/bibtex/2fec68dfb76da397334932af44e022177/dblp}, booktitle = {ICGT}, crossref = {conf/gg/2016}, editor = {Echahed, Rachid and Minas, Mark}, ee = {https://doi.org/10.1007/978-3-319-40530-8_4}, interhash = {3fc1987b7e30da56ab6ab041827c29a3}, intrahash = {fec68dfb76da397334932af44e022177}, isbn = {978-3-319-40529-2}, keywords = {dblp}, pages = {54-70}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:36:57.000+0200}, title = {Model Checking Reconfigurable Petri Nets with Maude.}, url = {http://dblp.uni-trier.de/db/conf/gg/icgt2016.html#Padberg016}, volume = 9761, year = 2016 }