Typed Transformations of Typed Grammars: The Left Corner Transform
- 作者Arthur Baars; S. Doaitse Swierstra; Marcos Viera
- 卷第253卷
- 期第7期
- 印刷ISSN1571-0661
- 文件大小200.13KB
- 发表时间2010
- DOI10.1016/j.entcs.2010.08.031
- 页码51-64
同作者推荐
Zero, successor and equality in BDDsBahareh Badban; Jaco van de Pol · 2005
Generalizing DPLL and satisfiability for equalitiesBahareh Badban; Jaco van de Pol; Olga Tveretina; Hans Zantema · 2007
Verification of a sliding window protocol inμCRL and PVSBahareh Badban; Wan Fokkink; Jan Friso Groote; Jun Pang; Jaco van de Pol · 2005
[ACM Press the 3rd international workshop - Portland, Oregon (2006.11.06-2006.11.06)] Proceedings of the 3rd international workshop on Software quality assurance - SOQUA '06 - Test automation for hybrid systemsBadban, Bahareh; Fränzle, Martin; Peleska, Jan; Teige, Tino · 2006