%0 Book
%T Open graph transformation systems a new approach to the compositional modelling of concurrent and reactive systems
%A Heckel, Reiko
%K Hochschulschrift
%K Nebenläufigkeit
%K Produktionsregelsystem
%K Graphersetzungssystem
%K Sichtenkonzept
%K Formale Spezifikationstechnik
%K Temporale Logik
%D 1998
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation