by Igor V. Konnov, Vladimir A. Zakharov
Reference:
On the Verification of Parameterized Symmetric Distributed ProgramsIgor V. Konnov, Vladimir A. ZakharovTrudy 1 Vserossiiskoi Nauchnoi Konferentsii Metody i Sredstva Obrabotki Informatsii (Proc. 1st All-Russia Conf. on Methods and Techniques of Information Processing), Moscow, pages 395-400, 2003.Note: Available as http://lvk.cs.msu.su/ konnov/publications/kz03-pmc.pdf
Bibtex Entry:
@inproceedings{ZakharovKonnov2003:MSO,
author = {Igor V. Konnov and Vladimir A. Zakharov},
title = {On the Verification of
Parameterized Symmetric Distributed Programs},
booktitle = {Trudy 1 Vserossiiskoi Nauchnoi Konferentsii Metody i
Sredstva Obrabotki Informatsii (Proc. 1st All-Russia
Conf. on Methods and Techniques of Information Processing), Moscow},
year = {2003},
pages = {395-400},
language = {russian},
note = "Available as \url{http://lvk.cs.msu.su/~konnov/publications/kz03-pmc.pdf}",
}