Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0
Order by: Document Type | Year of publication | No order
Skip to: 1996
Number of items: 1.

1996

Baier, Christel (1996) Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation. Alur, Rajeev Computer aided verification : 8th international conference, CAV ’96, New Brunswick, NJ, USA, July 31 - August 3, 1996 ; proceedings Berlin [u.a.] 38-49 [Book chapter]

This list was created automatically on Tue Jun 15 04:46:35 2021 CEST