SGLOT: A Visual Tool for Structural LOTOS Specifications

@inproceedings{Marrero1998SGLOTAV,
  title={SGLOT: A Visual Tool for Structural LOTOS Specifications},
  author={Mario Marrero and {\'A}lvaro Su{\'a}rez Sarmiento and Elena Carri{\'o}n and Elsa M. Mac{\'i}as},
  booktitle={FTRTFT},
  year={1998}
}