Index of /~venkita/mw_models/uppaal_work

 Name                            Last modified      Size  Description
 Parent Directory                                     -   
 ace_model.xml                   10-Dec-2005 18:48   24K  
 filter_trace.sh                 10-Dec-2005 18:10   22   
 maximal_progress_solution.xml   17-Nov-2005 14:29  2.6K  
 single_reactor_bf.q2            11-Dec-2005 14:40   34   
 single_reactor_bf.tr1           11-Dec-2005 13:20  2.5K  
 single_reactor_bf.xml           11-Dec-2005 14:39   17K  
 verify_ta.sh                    11-Dec-2005 13:20  165   
 woc_deadlock.q2                 11-Dec-2005 17:14   25   
 woc_deadlock.tr2                11-Dec-2005 17:15  2.8K  
 woc_deadlock.xml                11-Dec-2005 17:11   21K  
 woc_multi_flows_deadlock.q2     16-Dec-2005 21:16   50   
 woc_multi_flows_deadlock.tr1    12-Dec-2005 02:13    0   
 woc_multi_flows_deadlock.xml    12-Dec-2005 00:53   26K  
 woc_tpr2threads_no_deadlock.q2  11-Dec-2005 17:54   17   
 woc_tpr2threads_no_deadlock.q3  11-Dec-2005 18:02   17   
 woc_tpr2threads_no_deadlock.tr3 11-Dec-2005 18:02  6.4K  
 woc_tpr2threads_no_deadlock.xml 10-Dec-2005 19:04   23K  
 wor_bf.tr1                      11-Dec-2005 23:42  5.3K  
 wor_bf.xml                      11-Dec-2005 23:29   27K  
 wor_no_deadlock.q2              11-Dec-2005 20:52   25   
 wor_no_deadlock.q3              11-Dec-2005 21:28   17   
 wor_no_deadlock.tr3             11-Dec-2005 21:28  6.8K  
 wor_no_deadlock.xml             11-Dec-2005 21:01   27K