Modular correctness proofs of behavioural implementations
- 作者Michel Bidoit; Rolf Hennicker
- 卷第35卷
- 期第11期
- 印刷ISSN0001-5903
- 电子ISSN1432-0525
- 文件大小344.64KB
- 发表时间1998-11
- DOI10.1007/s002360050149
- 页码951-1005
同作者推荐
Forbidding ET0L grammarsAlexander Meduna; Martin Švec · 2003
Context free derivations on word monoidsAlexander Meduna · 1990
Coincidental extension of scattered context languagesAlexander Meduna · 2003
Deep pushdown automataAlexander Meduna · 2006
One-sided random context grammarsAlexander Meduna; Petr Zemek · 2011
Syntactic complexity of scattered context grammarsAlexander Meduna · 1995
JUMPING FINITE AUTOMATAMEDUNA, ALEXANDER; ZEMEK, PETR · International Journal of Foundations of Computer Science · 2012
Controlled finite automataMeduna, Alexander; Zemek, Petr · Acta Informatica · 2014