Verification of cooperating traffic agents

BIB
Damm, W. and Hungar, H., Olderog, E.-R.
01 / 2006
article
395-421
79