%0 Conference Paper %1 conf/kbse/ArthoHPTWY13 %A Artho, Cyrille %A Hagiya, Masami %A Potter, Richard %A Tanabe, Yoshinori %A Weitl, Franz %A Yamamoto, Mitsuharu %B ASE %D 2013 %E Denney, Ewen %E Bultan, Tevfik %E Zeller, Andreas %I IEEE %K %P 169-179 %T Software model checking for distributed systems with selector-based, non-blocking communication. %U http://dblp.uni-trier.de/db/conf/kbse/ase2013.html#ArthoHPTWY13

@inproceedings{conf/kbse/ArthoHPTWY13, added-at = {2023-12-12T19:02:59.000+0100}, author = {Artho, Cyrille and Hagiya, Masami and Potter, Richard and Tanabe, Yoshinori and Weitl, Franz and Yamamoto, Mitsuharu}, biburl = {https://www.bibsonomy.org/bibtex/2383917cfb1bf1993f7098e4d69d212fa/admin}, booktitle = {ASE}, crossref = {conf/kbse/2013}, editor = {Denney, Ewen and Bultan, Tevfik and Zeller, Andreas}, ee = {http://dx.doi.org/10.1109/ASE.2013.6693077}, interhash = {1afeaebe2043ee8b58345a85072c3c2d}, intrahash = {383917cfb1bf1993f7098e4d69d212fa}, keywords = {}, pages = {169-179}, publisher = {IEEE}, timestamp = {2023-12-12T19:02:59.000+0100}, title = {Software model checking for distributed systems with selector-based, non-blocking communication.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2013.html#ArthoHPTWY13}, year = 2013 }