@article{DBLP:journals/sttt/EdelkampLL04,
author = {Stefan Edelkamp and
Stefan Leue and
Alberto Lluch-Lafuente},
title = {Directed explicit-state model checking in the validation
of communication protocols},
journal = {STTT},
volume = {5},
number = {2-3},
year = {2004},
pages = {247-267},
ee = {http://dx.doi.org/10.1007/s10009-002-0104-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2007-03-30 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
