%0 Conference Paper %1 conf/forte/AsirelliBFG11 %A Asirelli, Patrizia %A ter Beek, Maurice H. %A Fantechi, Alessandro %A Gnesi, Stefania %B FMOODS/FORTE %D 2011 %E Bruni, Roberto %E Dingel, Jürgen %I Springer %K dblp %P 44-58 %T A Model-Checking Tool for Families of Services. %U http://dblp.uni-trier.de/db/conf/forte/forte2011.html#AsirelliBFG11 %V 6722 %@ 978-3-642-21460-8

@inproceedings{conf/forte/AsirelliBFG11, added-at = {2017-06-02T00:00:00.000+0200}, author = {Asirelli, Patrizia and ter Beek, Maurice H. and Fantechi, Alessandro and Gnesi, Stefania}, biburl = {https://www.bibsonomy.org/bibtex/21a0bbc2d1b35b9e4808dec5a6de66fe4/dblp}, booktitle = {FMOODS/FORTE}, crossref = {conf/forte/2011}, editor = {Bruni, Roberto and Dingel, Jürgen}, ee = {https://doi.org/10.1007/978-3-642-21461-5_3}, interhash = {26d9bf87284e930c68a632c01461137e}, intrahash = {1a0bbc2d1b35b9e4808dec5a6de66fe4}, isbn = {978-3-642-21460-8}, keywords = {dblp}, pages = {44-58}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:46:50.000+0200}, title = {A Model-Checking Tool for Families of Services.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2011.html#AsirelliBFG11}, volume = 6722, year = 2011 }