|
@article{WaGr99, author = {Thomas Walter and Jens Grabowski}, title = {A framework for the specification of test cases for real-time distributed systems}, journal = {Information and Software Technology}, pages = {781--798}, volume = {41}, month = {Jul}, year = {1999} }