%0 Conference Paper %1 conf/snpd/GarouiMK15 %A Garoui, Mohamed %A Mazigh, Belhassen %A Koukam, Abderrafiaa %B SNPD %D 2015 %I IEEE Computer Society %K dblp %P 657-663 %T The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation. %U http://dblp.uni-trier.de/db/conf/snpd/snpd2015.html#GarouiMK15 %@ 978-1-4799-8676-7

@inproceedings{conf/snpd/GarouiMK15, added-at = {2023-03-23T00:00:00.000+0100}, author = {Garoui, Mohamed and Mazigh, Belhassen and Koukam, Abderrafiaa}, biburl = {https://www.bibsonomy.org/bibtex/2fa2a85730581236f5a9b6dfe0f0447dc/dblp}, booktitle = {SNPD}, crossref = {conf/snpd/2015}, ee = {https://doi.ieeecomputersociety.org/10.1109/SNPD.2015.7176278}, interhash = {3fb2d5e94919cc892ef6b93a895f1349}, intrahash = {fa2a85730581236f5a9b6dfe0f0447dc}, isbn = {978-1-4799-8676-7}, keywords = {dblp}, pages = {657-663}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T03:07:39.000+0200}, title = {The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation.}, url = {http://dblp.uni-trier.de/db/conf/snpd/snpd2015.html#GarouiMK15}, year = 2015 }