%0 Conference Paper %1 journals/entcs/CraneD03 %A Crane, Michelle L. %A Dingel, Jürgen %B RV@CAV %D 2003 %E Sokolsky, Oleg %E Viswanathan, Mahesh %I Elsevier %K dblp %N 2 %P 2-21 %T Runtime Conformance Checking of Objects Using Alloy. %U http://dblp.uni-trier.de/db/conf/rv/rv2003.html#CraneD03 %V 89

@inproceedings{journals/entcs/CraneD03, added-at = {2022-12-16T00:00:00.000+0100}, author = {Crane, Michelle L. and Dingel, Jürgen}, biburl = {https://www.bibsonomy.org/bibtex/28adb08410dc00e3cf537a5c567ff6965/dblp}, booktitle = {RV@CAV}, crossref = {conf/rv/2003}, editor = {Sokolsky, Oleg and Viswanathan, Mahesh}, ee = {https://doi.org/10.1016/S1571-0661(04)81040-5}, interhash = {9dfe46e5815f83b148ebc13c4fd16a53}, intrahash = {8adb08410dc00e3cf537a5c567ff6965}, keywords = {dblp}, number = 2, pages = {2-21}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T16:55:44.000+0200}, title = {Runtime Conformance Checking of Objects Using Alloy.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2003.html#CraneD03}, volume = 89, year = 2003 }