Home › Biblio

Biblio

Export 2 results:
Sort by: Author Keyword [ Title (Desc)] Type Year
Filters: Author is Feng, D. S.  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
D
Feng, D. S., and U. W. Lipeck, Deterministische Überwachung temporaler Formeln, , no. 87-06: Technische Universität Braunschweig, 1987. Abstract
C
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