%0 Conference Paper %1 conf/cisim/AhmadAARGA20 %A Ahmad, Muhammad Waqas %A Anwar, Muhammad Waseem %A Azam, Farooque %A Rasheed, Yawar %A Ghani, Usman %A Ahmad, Mukhtar %B CISIM %D 2020 %E Saeed, Khalid %E Dvorský, Jirí %I Springer %K dblp %P 307-319 %T AutoNet: Meta-model for Seamless Integration of Timed Automata and Colored Petri Nets. %U http://dblp.uni-trier.de/db/conf/cisim/cisim2020.html#AhmadAARGA20 %V 12133 %@ 978-3-030-47679-3

@inproceedings{conf/cisim/AhmadAARGA20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Ahmad, Muhammad Waqas and Anwar, Muhammad Waseem and Azam, Farooque and Rasheed, Yawar and Ghani, Usman and Ahmad, Mukhtar}, biburl = {https://www.bibsonomy.org/bibtex/2c077b11e961649c1396041e6d213f0f6/dblp}, booktitle = {CISIM}, crossref = {conf/cisim/2020}, editor = {Saeed, Khalid and Dvorský, Jirí}, ee = {https://doi.org/10.1007/978-3-030-47679-3_26}, interhash = {ab88fbb971f29378ed85957ed244f3a6}, intrahash = {c077b11e961649c1396041e6d213f0f6}, isbn = {978-3-030-47679-3}, keywords = {dblp}, pages = {307-319}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T15:02:15.000+0200}, title = {AutoNet: Meta-model for Seamless Integration of Timed Automata and Colored Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/cisim/cisim2020.html#AhmadAARGA20}, volume = 12133, year = 2020 }