M. Roggenbach
AuthID: R-00G-DFC
1
TITLE: Towards bialgebraic semantics for the linear time - Branching time spectrum
AUTHORS: Maldonado, AP; Monteiro, L ; Roggenbach, M;
PUBLISHED: 2012, SOURCE: 20th International Workshop on Algebraic Development Techniques, WADT 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7137 LNCS
AUTHORS: Maldonado, AP; Monteiro, L ; Roggenbach, M;
PUBLISHED: 2012, SOURCE: 20th International Workshop on Algebraic Development Techniques, WADT 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7137 LNCS
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef