%0 Conference Paper %1 conf/ictac/BenevidesLH16 %A Benevides, Mario R. F. %A Lopes, Bruno %A Haeusler, Edward Hermann %B ICTAC %D 2016 %E Sampaio, Augusto %E Wang, Farn %K dblp %P 441-456 %T Propositional Dynamic Logic for Petri Nets with Iteration. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2016.html#BenevidesLH16 %V 9965 %@ 978-3-319-46749-8

@inproceedings{conf/ictac/BenevidesLH16, added-at = {2019-10-19T00:00:00.000+0200}, author = {Benevides, Mario R. F. and Lopes, Bruno and Haeusler, Edward Hermann}, biburl = {https://www.bibsonomy.org/bibtex/2be1116cee1f08415ede3f689abad2a6a/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2016}, editor = {Sampaio, Augusto and Wang, Farn}, ee = {https://doi.org/10.1007/978-3-319-46750-4_25}, interhash = {98ba1b1981d5aa8e1350b25bd40bba1c}, intrahash = {be1116cee1f08415ede3f689abad2a6a}, isbn = {978-3-319-46749-8}, keywords = {dblp}, pages = {441-456}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T14:24:10.000+0200}, title = {Propositional Dynamic Logic for Petri Nets with Iteration.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2016.html#BenevidesLH16}, volume = 9965, year = 2016 }