EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Spoto, F.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

2007

Ruys, T.C. and Aan de Brugh, N.H.M. (2007) MMC: the Mono Model Checker. In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007), 31 March 2007, Braga, Portugal. pp. 149-160. Electronic Notes in Theoretical Computer Science 190 (1). Elsevier. ISSN 1571-0661

2003

Asveld, P.R.J. (2003) Generating All Permutations by Context-Free Grammars in Chomsky Normal Form. In: Algebraic Methods in Language Processing (AMiLP 2003), Proceedings 3rd AMAST Workshop on Language Processing, August 25-27, 2003, Verona, Italy. pp. 55-68. TWTL 21. Twente University Press. ISSN 0929-0672
Spoto, F. and Scollo, G. and Nijholt, A., ed. (2003) Algebraic Methods in Language Processing. Twente Workshops on Language Technology 21. University of Twente, Enschede. ISSN 0929-0672

This list was generated on Fri Mar 24 07:12:36 CET 2017.