|
Pierre Wolper:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Udo W. Lipeck:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Which papers of Udo W. Lipeck cite Pierre WolperOrdered by citing publication[Change the order to 'ordered by cited']
-
Udo W. Lipeck
Transformation of Dynamic Integrity Constraints into Transaction Specifications. [Citation Graph (1, 19)][DBLP] ICDT, 1988, pp:322-337 [Conf] Cites:
-
Pierre Wolper
Temporal Logic Can Be More Expressive [Citation Graph (7, 0)][DBLP] Information and Control, 1983, v:56, n:1/2, pp:72-99 [Journal]
-
Zohar Manna, Pierre Wolper
Synthesis of Communicating Processes from Temporal Logic Specifications. [Citation Graph (10, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1984, v:6, n:1, pp:68-93 [Journal]
-
Udo W. Lipeck, Michael Gertz, Gunter Saake
Transitional Monitoring of Dynamic Inegrity Constraints. [Citation Graph (1, 11)][DBLP] IEEE Data Eng. Bull., 1994, v:17, n:2, pp:38-42 [Journal] Cites:
|