Home › Biblio

Biblio

Export 2 results:
Sort by: Author Keyword Title [ Type (Asc)] Year
Filters: Author is Feng, D. S.  [Clear All Filters]
Conference Paper
Feng, D. S., and U. W. Lipeck, Deterministische Überwachung temporaler Formeln, , no. 87-06: Technische Universität Braunschweig, 1987. Abstract
Conference Proceedings
Lipeck, U. W., and D. S. Feng, "Construction of Deterministic Transition Graphs from Dynamic Integrity Constraints", Proc1 14th Int1 Workshop on Graph-Theoretic Concepts in Computer Science (WG'88): LNCS 344, Springer, Berlin, pp. 166-179, 1989. Abstract