Verification of internet protocol properties using cooperating automaton objects.

Dmitriy Levonevskiy, Fedor Novikov, Ludmila N. Fedorchenko, Irina Afanasieva

Browse the full SIN paper archive.