@inproceedings{GC92,
title = {Distributing a finite transition system on a shared/distributed memory system },
author = {Girault, Alain and Caspi, Paul},
month = {July},
year = {1992},
booktitle = {PARL{E}'92 Paris},
note = {(short paper)},
team = {SYNC},
}
