Julia Padberg, Hartmut Ehrig, Kathrin Hoffmann. Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks. Bulletin of the EATCS, 91:120-124, 2007.
@article{PadbergEH07,
title = {Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks},
author = {Julia Padberg and Hartmut Ehrig and Kathrin Hoffmann},
year = {2007},
researchr = {https://researchr.org/publication/PadbergEH07},
cites = {0},
citedby = {0},
journal = {Bulletin of the EATCS},
volume = {91},
pages = {120-124},
}