Index of /~andova/research/mcrl2_experiments/BBReduction onNdetAndRoRoExamples

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [TXT] ndetfrtc10withhiding..> 28-Jan-2009 23:47 3.1K [TXT] ndetfrtc2withhiding...> 28-Jan-2009 23:32 2.7K [TXT] ndetfrtc3withhiding...> 28-Jan-2009 23:31 2.7K [TXT] ndetfrtc4withhiding...> 28-Jan-2009 23:31 2.8K [TXT] ndetfrtc5withhiding...> 28-Jan-2009 23:30 2.8K [TXT] ndetfrtc6withhiding...> 28-Jan-2009 19:40 2.9K [TXT] ndetserver10withhidi..> 28-Jan-2009 23:53 3.0K [TXT] ndetserver2withhidin..> 28-Jan-2009 23:38 2.6K [TXT] ndetserver3withhidin..> 28-Jan-2009 23:37 2.7K [TXT] ndetserver4nohiding...> 28-Jan-2009 19:33 2.7K [TXT] ndetserver4withhidin..> 28-Jan-2009 19:27 2.7K [TXT] ndetserver5withhidin..> 28-Jan-2009 19:38 2.8K [TXT] ndetserver6withhidin..> 28-Jan-2009 19:42 2.8K [TXT] rorofrtc2.mcrl2 28-Jan-2009 22:51 3.5K [TXT] rorofrtc3.mcrl2 28-Jan-2009 22:58 3.5K [TXT] rorofrtc4.mcrl2 28-Jan-2009 23:13 3.6K [TXT] rorofrtc5.mcrl2 28-Jan-2009 23:12 3.6K [TXT] rorofrtc6.mcrl2 28-Jan-2009 23:16 3.7K [TXT] roroserver2.mcrl2 28-Jan-2009 22:44 3.2K [TXT] roroserver3.mcrl2 28-Jan-2009 22:55 3.2K [TXT] roroserver4.mcrl2 28-Jan-2009 23:01 3.3K [TXT] roroserver5.mcrl2 28-Jan-2009 23:17 3.3K [TXT] roroserver6.mcrl2 28-Jan-2009 23:18 3.4K
Apache/2.2.15 (CentOS) Server at www.win.tue.nl Port 443