%0 Conference Paper %1 conf/gcce/MalekAY15 %A Malek, Muhammad Syafiq Bin Ab %A Ahmadon, Mohd Anuaruddin Bin %A Yamaguchi, Shingo %B GCCE %D 2015 %I IEEE %K dblp %P 65-68 %T Petri net-based parallel model checking with a splitting procedure. %U http://dblp.uni-trier.de/db/conf/gcce/gcce2015.html#MalekAY15

@inproceedings{conf/gcce/MalekAY15, added-at = {2023-06-26T00:00:00.000+0200}, author = {Malek, Muhammad Syafiq Bin Ab and Ahmadon, Mohd Anuaruddin Bin and Yamaguchi, Shingo}, biburl = {https://www.bibsonomy.org/bibtex/2eb340997f3d279ccef926a4ff32f5b0d/dblp}, booktitle = {GCCE}, crossref = {conf/gcce/2015}, ee = {https://doi.org/10.1109/GCCE.2015.7398574}, interhash = {2523fc9d962def8450efc13d79cc439d}, intrahash = {eb340997f3d279ccef926a4ff32f5b0d}, keywords = {dblp}, pages = {65-68}, publisher = {IEEE}, timestamp = {2024-04-10T05:20:50.000+0200}, title = {Petri net-based parallel model checking with a splitting procedure.}, url = {http://dblp.uni-trier.de/db/conf/gcce/gcce2015.html#MalekAY15}, year = 2015 }