%0 Journal Article %1 journals/jlp/LiuOM16 %A Liu, Si %A Ölveczky, Peter Csaba %A Meseguer, José %D 2016 %J J. Log. Algebraic Methods Program. %K dblp %N 1 %P 34-66 %T Modeling and analyzing mobile ad hoc networks in Real-Time Maude. %U http://dblp.uni-trier.de/db/journals/jlp/jlp85.html#LiuOM16 %V 85

@article{journals/jlp/LiuOM16, added-at = {2023-09-20T00:00:00.000+0200}, author = {Liu, Si and Ölveczky, Peter Csaba and Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/272754485d4a52494d8c5c96285db8f62/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2015.05.002}, interhash = {1b90158eda948e1482469904f7e38653}, intrahash = {72754485d4a52494d8c5c96285db8f62}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = 1, pages = {34-66}, timestamp = {2024-04-08T10:50:13.000+0200}, title = {Modeling and analyzing mobile ad hoc networks in Real-Time Maude.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp85.html#LiuOM16}, volume = 85, year = 2016 }