Freiheit, Jörn Automation of Logic, MPI for Informatics, Max Planck Society;
Yuan, C., Billington, J., & Freiheit, J. (2005). An Abstract Model of Routing in Mobile Ad Hoc Networks. In Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 137-156). Aarhus, Denmark: DAIMI.