Dealing with the complexity of state space exploration algorithms for SDL systems

@InProceedings{Grabowski96+,
	author          = {Jens Grabowski and Rudolf Scheurer and Daniel Toggweiler and Dieter Hogrefe},
	title           = {{Dealing with the complexity of state space exploration algorithms for SDL systems}},
	booktitle       = {Proceedings of the 6th GI/ITG Technical Meeting on Formal Description Techniques for Distributed Systems},
	volume          = {20},
	number          = {9},
	month           = may,
	year            = 1996,
}