Suche

Modal Interface Theories for Communication-Safe Component Assemblies

Rolf Hennicker, Alexander Knapp

In: Antonio Cerone, Pekka Pihlajasaari (Hgg.). Proc. 8th Int. Coll. Theoretical Aspects of Computing (ICTAC'11). Lect. Notes Comp. Sci. 6916. Springer, Berlin, 2011. S. 135-153. DOI: http://dx.doi.org/10.1007/978-3-642-23283-1_11


Downloads:

  • PDF  -  (hennicker-knapp_ictac_2011.pdf, 352 KB)