%0 Book Section %1 series/lncs/FehnkerFM09 %A Fehnker, Ansgar %A Fruth, Matthias %A McIver, Annabelle %B Methods, Models and Tools for Fault Tolerance %D 2009 %E Butler, Michael %E Jones, Cliff B. %E Romanovsky, Alexander %E Troubitsyna, Elena %I Springer %K VST4WSN formal model_checking probabilistic simulations wsn %P 1-24 %T Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. %U http://dblp.uni-trier.de/db/series/lncs/lncs5454.html#FehnkerFM09 %V 5454 %@ 978-3-642-00866-5

@incollection{series/lncs/FehnkerFM09, added-at = {2010-04-20T15:13:49.000+0200}, author = {Fehnker, Ansgar and Fruth, Matthias and McIver, Annabelle}, biburl = {https://www.bibsonomy.org/bibtex/29a7af2423567ef6800f7705401475a9a/davef}, booktitle = {Methods, Models and Tools for Fault Tolerance}, crossref = {series/lncs/5454}, date = {2009-06-13}, description = {dblp}, editor = {Butler, Michael and Jones, Cliff B. and Romanovsky, Alexander and Troubitsyna, Elena}, ee = {http://dx.doi.org/10.1007/978-3-642-00867-2_1}, interhash = {f3934cfb27105a203124a57061447e79}, intrahash = {9a7af2423567ef6800f7705401475a9a}, isbn = {978-3-642-00866-5}, keydf = {VST4WSN3}, keywords = {VST4WSN formal model_checking probabilistic simulations wsn}, pages = {1-24}, priority = {1}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2010-04-20T15:13:49.000+0200}, title = {Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols.}, url = {http://dblp.uni-trier.de/db/series/lncs/lncs5454.html#FehnkerFM09}, volume = 5454, year = 2009 }