%0 Journal Article %1 journals/telsys/SilvaRMS13 %A de Silva, Gayan %A Rysavý, Ondrej %A Matousek, Petr %A Svéda, Miroslav %D 2013 %J Telecommun. Syst. %K dblp %N 2 %P 919-929 %T On formal reachability analysis in networks with dynamic behavior. %U http://dblp.uni-trier.de/db/journals/telsys/telsys52.html#SilvaRMS13 %V 52

@article{journals/telsys/SilvaRMS13, added-at = {2020-08-13T00:00:00.000+0200}, author = {de Silva, Gayan and Rysavý, Ondrej and Matousek, Petr and Svéda, Miroslav}, biburl = {https://www.bibsonomy.org/bibtex/2099c5411a28b4b0795cd03807f6fcf1a/dblp}, ee = {https://doi.org/10.1007/s11235-011-9585-2}, interhash = {b2bb9eaf0179a86e718bc85e9e697acb}, intrahash = {099c5411a28b4b0795cd03807f6fcf1a}, journal = {Telecommun. Syst.}, keywords = {dblp}, number = 2, pages = {919-929}, timestamp = {2020-08-14T11:58:02.000+0200}, title = {On formal reachability analysis in networks with dynamic behavior.}, url = {http://dblp.uni-trier.de/db/journals/telsys/telsys52.html#SilvaRMS13}, volume = 52, year = 2013 }