Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/kbse/LeungwattanakitAHTY11
%A Leungwattanakit, Watcharin
%A Artho, Cyrille
%A Hagiya, Masami
%A Tanabe, Yoshinori
%A Yamamoto, Mitsuharu
%B ASE
%D 2011
%E Alexander, Perry
%E Pasareanu, Corina S.
%E Hosking, John G.
%I IEEE Computer Society
%K
%P 103-112
%T Model checking distributed systems by combining caching and process checkpointing.
%U http://dblp.uni-trier.de/db/conf/kbse/ase2011.html#LeungwattanakitAHTY11
%@ 978-1-4577-1638-6
@inproceedings{conf/kbse/LeungwattanakitAHTY11,
added-at = {2023-12-13T04:02:15.000+0100},
author = {Leungwattanakit, Watcharin and Artho, Cyrille and Hagiya, Masami and Tanabe, Yoshinori and Yamamoto, Mitsuharu},
biburl = {https://www.bibsonomy.org/bibtex/26f791ce5e6cd9e57b875edfaec9580ee/admin},
booktitle = {ASE},
crossref = {conf/kbse/2011},
editor = {Alexander, Perry and Pasareanu, Corina S. and Hosking, John G.},
ee = {http://doi.ieeecomputersociety.org/10.1109/ASE.2011.6100043},
interhash = {9139a60175882775751959af2d015c27},
intrahash = {6f791ce5e6cd9e57b875edfaec9580ee},
isbn = {978-1-4577-1638-6},
keywords = {},
pages = {103-112},
publisher = {IEEE Computer Society},
timestamp = {2023-12-13T04:02:15.000+0100},
title = {Model checking distributed systems by combining caching and process checkpointing.},
url = {http://dblp.uni-trier.de/db/conf/kbse/ase2011.html#LeungwattanakitAHTY11},
year = 2011
}