K.: Operating guidelines for finite-state services (2007)

by N Lohmann, P Massuthe, Wolf
Venue:In: ICATPN 2007. LNCS