%0 Conference Paper %1 conf/vecos/AhishakiyeJKS20 %A Ahishakiye, Faustin %A Jarabo, José Ignacio Requeno %A Kristensen, Lars Michael %A Stolz, Volker %B VECoS %D 2020 %E Hedia, Belgacem Ben %E Chen, Yu-Fang %E Liu, Gaiyun %E Yu, Zhenhua %I Springer %K dblp %P 68-83 %T Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. %U http://dblp.uni-trier.de/db/conf/vecos/vecos2020.html#AhishakiyeJKS20 %V 12519 %@ 978-3-030-65955-4

@inproceedings{conf/vecos/AhishakiyeJKS20, added-at = {2024-06-11T00:00:00.000+0200}, author = {Ahishakiye, Faustin and Jarabo, José Ignacio Requeno and Kristensen, Lars Michael and Stolz, Volker}, biburl = {https://www.bibsonomy.org/bibtex/2434791a65ec1159b8a96e8a03c019608/dblp}, booktitle = {VECoS}, crossref = {conf/vecos/2020}, editor = {Hedia, Belgacem Ben and Chen, Yu-Fang and Liu, Gaiyun and Yu, Zhenhua}, ee = {https://doi.org/10.1007/978-3-030-65955-4_6}, interhash = {5ad773b9f6b08e28411d46aa2c5e9093}, intrahash = {434791a65ec1159b8a96e8a03c019608}, isbn = {978-3-030-65955-4}, keywords = {dblp}, pages = {68-83}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-17T07:48:51.000+0200}, title = {Coverage Analysis of Net Inscriptions in Coloured Petri Net Models.}, url = {http://dblp.uni-trier.de/db/conf/vecos/vecos2020.html#AhishakiyeJKS20}, volume = 12519, year = 2020 }