Online model checking mechanism and its applications
Elektronische Ressource, Paderborn

Ontology-based representation of abstract optimization models for model formulation and system generation
Elektronische Ressource, Paderborn, 2016



Optimized down-conversion source and state-characterization tools for quantum optics
Elektronische Ressource, Paderborn, 2016


Ordered attributed grammars
In: Acta Informatica, Jg. 13.1980 H. 3, S. 229-256
