Formal Specification and Analysis of Zeroconf using Uppaal
Loading...
Date
Authors
Berendsen, J.K. Jasper
Gebremichael, B.
Zhang, Miaomiao
Vaandrager, F.W. Frits
Journal Title
Journal ISSN
Volume Title
Publisher
Nijmegen : Institute for Computing and Information Sciences