%0 Conference Paper %1 conf/fsen/GkolfiDJSY17 %A Gkolfi, Anastasia %A Din, Crystal Chang %A Johnsen, Einar Broch %A Steffen, Martin %A Yu, Ingrid Chieh %B FSEN %D 2017 %E Dastani, Mehdi %E Sirjani, Marjan %I Springer %K dblp %P 84-99 %T Translating Active Objects into Colored Petri Nets for Communication Analysis. %U http://dblp.uni-trier.de/db/conf/fsen/fsen2017.html#GkolfiDJSY17 %V 10522 %@ 978-3-319-68972-2

@inproceedings{conf/fsen/GkolfiDJSY17, added-at = {2018-11-02T00:00:00.000+0100}, author = {Gkolfi, Anastasia and Din, Crystal Chang and Johnsen, Einar Broch and Steffen, Martin and Yu, Ingrid Chieh}, biburl = {https://www.bibsonomy.org/bibtex/2e714d04ad6ea8416e328f745b6351683/dblp}, booktitle = {FSEN}, crossref = {conf/fsen/2017}, editor = {Dastani, Mehdi and Sirjani, Marjan}, ee = {https://doi.org/10.1007/978-3-319-68972-2_6}, interhash = {8399831d6943a1cd028043ef8768298c}, intrahash = {e714d04ad6ea8416e328f745b6351683}, isbn = {978-3-319-68972-2}, keywords = {dblp}, pages = {84-99}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:16:49.000+0200}, title = {Translating Active Objects into Colored Petri Nets for Communication Analysis.}, url = {http://dblp.uni-trier.de/db/conf/fsen/fsen2017.html#GkolfiDJSY17}, volume = 10522, year = 2017 }