Search the dblp DataBase
Ivan Christoff :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Ivan Christoff A Method for Verification of Trace and Test Equivalence. [Citation Graph (0, 0)][DBLP ] Automatic Verification Methods for Finite State Systems, 1989, pp:81-88 [Conf ] Linda Christoff , Ivan Christoff Efficient Algorithms for Verification of Equivalences for Probabilistic Processes. [Citation Graph (0, 0)][DBLP ] CAV, 1991, pp:310-321 [Conf ] Ivan Christoff Testing Equivalences and Fully Abstract Models for Probabilistic Processes. [Citation Graph (0, 0)][DBLP ] CONCUR, 1990, pp:126-140 [Conf ] Linda Christoff , Ivan Christoff Reasonong about Safety and Liveness Properties for Probabilistic Processes. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1992, pp:342-355 [Conf ] V. Natarajan , Ivan Christoff , Linda Christoff , Rance Cleaveland Priority and Abstraction in Process Algebra. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1994, pp:217-230 [Conf ] Search in 0.001secs, Finished in 0.002secs