![]() |
@inproceedings{DBLP:conf/podc/GoudaC84,
author = {Mohamed G. Gouda and
Chung-Kuo Chang},
title = {A Technique for Proving Liveness of Communicating Finite
State Machines with Examples},
booktitle = {PODC},
year = {1984},
pages = {38-49},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-12-04 by Michael Ley (ley@uni-trier.de)