%0 Conference Paper %1 conf/kbse/DwyerRTV04 %A Dwyer, Matthew B. %A Robby, %A Tkachuk, Oksana %A Visser, Willem %B ASE %D 2004 %I IEEE Computer Society %K dblp %P 154-163 %T Analyzing Interaction Orderings with Model Checking. %U http://dblp.uni-trier.de/db/conf/kbse/ase2004.html#DwyerRTV04 %@ 0-7695-2131-2

@inproceedings{conf/kbse/DwyerRTV04, added-at = {2023-03-24T00:00:00.000+0100}, author = {Dwyer, Matthew B. and Robby and Tkachuk, Oksana and Visser, Willem}, biburl = {https://www.bibsonomy.org/bibtex/2b47265fb4e0c3c95d5f280d6eab4324d/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2004}, ee = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10067}, interhash = {112a9a657fe304f3397924738972752c}, intrahash = {b47265fb4e0c3c95d5f280d6eab4324d}, isbn = {0-7695-2131-2}, keywords = {dblp}, pages = {154-163}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:02:51.000+0200}, title = {Analyzing Interaction Orderings with Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2004.html#DwyerRTV04}, year = 2004 }