@article{Dam2006,
Author = {Damm, W. and Hungar, H., Olderog, E.-R.},
Title = {Verification of cooperating traffic agents},

Year = {2006},
Pages = {395-421},
Month = {01},
Edition = {79},
type = {article}
}
@COMMENT{Bibtex file generated on }