DSpace at RU >

Search Results

Results 1-8 of 8.

Item hits:

Full Text	Issue Date	Title	Author(s)
	2006	Uppaal 4.0	Behrmann, G.; David, A.; Larsen, K.G.; Håkansson, J.; Pettersson, P.; Yi, W.; Hendriks, M.
	2005	Production scheduling by Reachability Analysis -- A Case Study	Behrmann, G.; Brinksma, E.; Hendriks, M.; Mader, A.
	2005	Scheduling lacquer production by reachability analysis : a case study	Behrmann, G.; Brinksma, E.; Hendriks, M.; Mader, A.
	2005	Production Scheduling by Reachability Analysis -- A Case Study	Behrmann, G.; Brinksma, E.; Hendriks, M.; Mader, A.
	2004	Adding Symmetry Reduction to Uppaal	Hendriks, M.; Behrmann, G.; Larsen, K.G.; Niebert, P.; Vaandrager, F.W.
	2004	Adding Symmetry Reduction to Uppaal	Hendriks, M.; Behrmann, G.; Larsen, K.G.; Niebert, P.; Vaandrager, F.W.; Larsen, K.G.; Niebert, P.
	2001	Efficient guiding towards cost-optimality in UPPAAL	Behrmann, G.
	2001	Minimum-cost reachability for priced timed automata	Behrmann, G.; Fehnker, A.; Romijn, J.; Vaandrager, F.

1