Who is afraid of Model Checking Distributed Algorithms? (bibtex)
by Igor Konnov, Helmut Veith, Josef Widder
Reference:
Who is afraid of Model Checking Distributed Algorithms?Igor Konnov, Helmut Veith, Josef Widder2012, CAV Workshop (EC)$^2$.
Bibtex Entry:
@misc{KVW12,
title = {Who is afraid of Model Checking Distributed Algorithms?},
url = {/pubpdf/Who_is_afraid_of_Model_Checking_Distributed_Algorithms_.pdf},
author = {Igor Konnov and Helmut Veith and Josef Widder},
link = {http://forsyte.at/wp-content/uploads/2012/07/ec2-konnov.pdf},
year = {2012},
howpublished = {CAV Workshop {(EC)$^2$}},
}
Powered by bibtexbrowser