%0 Journal Article %1 journals/jss/WaszniowskiKH09 %A Waszniowski, Libor %A Krakora, Jan %A Hanzálek, Zdenek %D 2009 %J J. Syst. Softw. %K dblp %N 10 %P 1678-1694 %T Case study on distributed and fault tolerant system modeling based on timed automata. %U http://dblp.uni-trier.de/db/journals/jss/jss82.html#WaszniowskiKH09 %V 82

@article{journals/jss/WaszniowskiKH09, added-at = {2020-02-24T00:00:00.000+0100}, author = {Waszniowski, Libor and Krakora, Jan and Hanzálek, Zdenek}, biburl = {https://www.bibsonomy.org/bibtex/22eeb1e1d6107ed3d67d991ef789c0b81/dblp}, ee = {https://doi.org/10.1016/j.jss.2009.04.042}, interhash = {cca4240ac16ec7f5a4a55ab963f10a49}, intrahash = {2eeb1e1d6107ed3d67d991ef789c0b81}, journal = {J. Syst. Softw.}, keywords = {dblp}, number = 10, pages = {1678-1694}, timestamp = {2020-02-25T13:43:50.000+0100}, title = {Case study on distributed and fault tolerant system modeling based on timed automata.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss82.html#WaszniowskiKH09}, volume = 82, year = 2009 }