Interleaving isotactics - An equivalence notion on behaviour abstractions

Autor(en)
Artem Polyvyanyy and Jan Sürmeli and Matthias Weidlich
Zeitschrift
Theor. Comput. Sci.
Jahr
2018
Ausgabe
737
Seiten
1--18
Download .bib
Download .bib
Eingetragen von
Jan Sürmeli