%0 Conference Paper %1 conf/kbse/ArthoLHTY09 %A Artho, Cyrille %A Leungwattanakit, Watcharin %A Hagiya, Masami %A Tanabe, Yoshinori %A Yamamoto, Mitsuharu %B ASE %D 2009 %I IEEE Computer Society %K %P 447-458 %T Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. %U http://dblp.uni-trier.de/db/conf/kbse/ase2009.html#ArthoLHTY09 %@ 978-0-7695-3891-4

@inproceedings{conf/kbse/ArthoLHTY09, added-at = {2023-12-13T08:46:34.000+0100}, author = {Artho, Cyrille and Leungwattanakit, Watcharin and Hagiya, Masami and Tanabe, Yoshinori and Yamamoto, Mitsuharu}, biburl = {https://www.bibsonomy.org/bibtex/2e26456426a3d25936a12b42f00093f34/admin}, booktitle = {ASE}, crossref = {conf/kbse/2009}, ee = {http://doi.ieeecomputersociety.org/10.1109/ASE.2009.43}, interhash = {c743d722b6fd6433f2fa171554eaeb49}, intrahash = {e26456426a3d25936a12b42f00093f34}, isbn = {978-0-7695-3891-4}, keywords = {}, pages = {447-458}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T08:46:34.000+0100}, title = {Cache-Based Model Checking of Networked Applications: From Linear to Branching Time.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2009.html#ArthoLHTY09}, year = 2009 }