Custom Query (3 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: closed (2 matches)

Ticket Summary Owner Type Priority Version Resolution
#37 Implement red-black trees for Lumping (bisimulation) Dr. Ivan S. Zapreev enhancement major 1.3 wontfix
#38 Improving bisimulation engine. Dr. Ivan S. Zapreev enhancement major 1.2.2 wontfix

Status: new (1 match)

Ticket Summary Owner Type Priority Version Resolution
#32 The probabilities comparison in the Bisimulation engine. Christina Jansen enhancement major 1.3
Note: See TracQuery for help on using queries.