%0 Conference Paper %1 conf/models/KumarDK14 %A Kumar, Pranav Srinivas %A Dubey, Abhishek %A Karsai, Gabor %B MoDeVVa@MoDELS %D 2014 %E Boulanger, Frédéric %E Famelis, Michalis %E Ratiu, Daniel %I CEUR-WS.org %K dblp %P 79-88 %T Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications. %U http://dblp.uni-trier.de/db/conf/models/modevva2014.html#KumarDK14 %V 1235

@inproceedings{conf/models/KumarDK14, added-at = {2023-03-10T00:00:00.000+0100}, author = {Kumar, Pranav Srinivas and Dubey, Abhishek and Karsai, Gabor}, biburl = {https://www.bibsonomy.org/bibtex/21714b94868e48e3edb34b1f9eaad2b6d/dblp}, booktitle = {MoDeVVa@MoDELS}, crossref = {conf/models/2014modevva}, editor = {Boulanger, Frédéric and Famelis, Michalis and Ratiu, Daniel}, ee = {https://ceur-ws.org/Vol-1235/paper-10.pdf}, interhash = {24e2177c421c8cf79db02deb436facbf}, intrahash = {1714b94868e48e3edb34b1f9eaad2b6d}, keywords = {dblp}, pages = {79-88}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T22:00:15.000+0200}, title = {Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications.}, url = {http://dblp.uni-trier.de/db/conf/models/modevva2014.html#KumarDK14}, volume = 1235, year = 2014 }