%0 Journal Article %1 journals/ase/CamposH01 %A Campos, José Creissac %A Harrison, Michael D. %D 2001 %J Autom. Softw. Eng. %K dblp %N 3-4 %P 275-310 %T Model Checking Interactor Specifications. %U http://dblp.uni-trier.de/db/journals/ase/ase8.html#CamposH01 %V 8

@article{journals/ase/CamposH01, added-at = {2011-05-18T00:00:00.000+0200}, author = {Campos, José Creissac and Harrison, Michael D.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e1dd9a4ef501dbf79a6443659afd14b9/dblp}, ee = {http://dx.doi.org/10.1023/A:1011265604021}, interhash = {2d0e8d231b9593f204d9b7bd0556da81}, intrahash = {e1dd9a4ef501dbf79a6443659afd14b9}, journal = {Autom. Softw. Eng.}, keywords = {dblp}, number = {3-4}, pages = {275-310}, timestamp = {2016-02-02T10:13:30.000+0100}, title = {Model Checking Interactor Specifications.}, url = {http://dblp.uni-trier.de/db/journals/ase/ase8.html#CamposH01}, volume = 8, year = 2001 }