%0 Conference Paper %1 conf/smap/KsystraTSF12 %A Ksystra, Katerina %A Triantafyllou, Nikolaos %A Stefaneas, Petros S. %A Frangos, Panayiotis %B SMAP %D 2012 %I IEEE %K dblp %P 81-86 %T Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications. %U http://dblp.uni-trier.de/db/conf/smap/smap2012.html#KsystraTSF12 %@ 978-1-4673-4563-7

@inproceedings{conf/smap/KsystraTSF12, added-at = {2017-05-23T00:00:00.000+0200}, author = {Ksystra, Katerina and Triantafyllou, Nikolaos and Stefaneas, Petros S. and Frangos, Panayiotis}, biburl = {https://www.bibsonomy.org/bibtex/2614bb765220d8701054e0c32a1f62f0e/dblp}, booktitle = {SMAP}, crossref = {conf/smap/2012}, ee = {https://doi.org/10.1109/SMAP.2012.8}, interhash = {c0158bc9fbef7df03adc6b0c1d5bf00d}, intrahash = {614bb765220d8701054e0c32a1f62f0e}, isbn = {978-1-4673-4563-7}, keywords = {dblp}, pages = {81-86}, publisher = {IEEE}, timestamp = {2019-10-17T21:55:58.000+0200}, title = {Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications.}, url = {http://dblp.uni-trier.de/db/conf/smap/smap2012.html#KsystraTSF12}, year = 2012 }