The Transitive Composability of Relation Transition Systems

Hur, Chung-Kil; Neis, Georg; Dreyer, Derek; Vafeiadis, Viktor

Lokale TagsFreigabegeschichteDetailsÜbersicht

The Transitive Composability of Relation Transition Systems

Hur, C.-K., Neis, G., Dreyer, D., & Vafeiadis, V.(2012). The Transitive Composability of Relation Transition Systems (MPI-SWS-2012-002). Saarbrücken: Max Planck Institute for Software Systems.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-5888-C Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-5A41-9

Genre: Bericht

ausblenden:

Urheber:
Hur, Chung-Kil¹, Autor
Neis, Georg¹, Autor
Dreyer, Derek¹, Autor
Vafeiadis, Viktor², Autor

Affiliations:
1Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society, ou_2105286
2Group P. Francis, Max Planck Institute for Software Systems, Max Planck Society, ou_2105288