Publications - Author: Jan Sürmeli
2018
[1] Interleaving isotactics - An equivalence notion on behaviour abstractions (, , and ), In Theor. Comput. Sci., volume 737, . [bibtex] [pdf] [doi]
Powered by bibtexbrowser