A UNIFIED APPROACH TO THE GENERATION AND THE ACCEPTION OF FORMAL LANGUAGES.DEUSSEN P.1978; ACTA INFORMAT.; ALLEM.; DA. 1978; VOL. 9; NO 4; PP. 377-390; BIBL. 15 REF.Article

VAN WIJNGAARDEN GRAMMARS AND SPACE COMPLEXITY CLASS EXSPACE.DEUSSEN P; MEHLHORN K.1977; ACTA INFORMAT.; ALLEM.; DA. 1977; VOL. 8; NO 2; PP. 193-199; BIBL. 4 REF.Article

A case study in design and validation of reactive systems by means of Petri netsHEINER, M; DEUSSEN, P.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 121-126, isbn 2-9502908-7-6Conference Paper

KA-Prolog : Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung = KA-Prolog: extensions of a logic programming language and their efficient implementationBOCKMAYR, A; BRZOSKA, C; DEUSSEN, P et al.Informatik (Berlin, West). 1991, Vol 6, Num 3, pp 128-140, issn 0178-3564Article

A case study in design and verification of manufacturing system control software with hierarchical Petri netsHEINER, M; DEUSSEN, P; SPRANGER, J et al.International journal, advanced manufacturing technology. 1999, Vol 15, Num 2, pp 139-152, issn 0268-3768Article