%0 Conference Paper %1 p.2001 %A Inverardi, Paola %A Muccini, Henry %A Pelliccione, Patrizio %B First Int. Workshop from Software Requirements to Architectures (STRAW'01) %D 2001 %K imported %T Checking consistency between architectural models using Spin

@inproceedings{p.2001, added-at = {2011-05-12T12:21:23.000+0200}, author = {Inverardi, Paola and Muccini, Henry and Pelliccione, Patrizio}, biburl = {https://www.bibsonomy.org/bibtex/24455415c4519ece3344ade7a581579e0/pellicci}, booktitle = {First Int. Workshop from Software Requirements to Architectures (STRAW'01)}, interhash = {9bf70ced9a512ee5b2743c935c6e9b3a}, intrahash = {4455415c4519ece3344ade7a581579e0}, keywords = {imported}, timestamp = {2011-05-16T11:30:18.000+0200}, title = {Checking consistency between architectural models using Spin}, year = 2001 }