Hausdorff dimension and oracle constructions
- 作者John M. Hitchcock
- 卷第355卷
- 期第3期
- 印刷ISSN0304-3975
- 文件大小185.02KB
- 发表时间2006
- DOI10.1016/j.tcs.2006.01.025
- 页码382-388
Algebraic–coalgebraic specification in CoCaslTill Mossakowski; Lutz Schröder; Markus Roggenbach; Horst Reichel · 2006
PrefaceMarkus Roggenbach · 2012
Transition systems from event structures revisitedMila Majster-Cederbaum; Markus Roggenbach · 1998
CoCasl at Work — Modelling Process AlgebraTill Mossakowski; Markus Roggenbach; Lutz Schröder · 2003
The Stable Revivals Model in CSP-ProverD. Gift Samuel; Markus Roggenbach; Yoshinao Isobe · 2009
Towards a unified view of bisimulation: a comparative studyMarkus Roggenbach; Mila Majster-Cederbaum · 2000
Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010)Bendisposto, Jens; Leuschel, Michael; Roggenbach, Markus · Science of Computer Programming · 2014
Detection of app collusion potential using logic programmingBlascoa, Jorge; Chen, Thomas M.; Muttik, Igor; Roggenbach, Markus · Journal of Network and Computer Applications · 2017