G
[GLS95] Jens Christian Godskesen, Kim Guldstrand Larsen, and Arne Skou. Automatic verification of real-tim systems using epsilon. In PSTV'94, IFIP Conference Proceedings 1, pages 323-330. Chapman & Hall, 1995. 
@inproceedings{PSTV1994-GLS94,
  author =              {Godskesen, Jens Christian and Larsen, Kim Guldstrand
                         and Skou, Arne},
  title =               {Automatic verification of real-tim systems using
                         epsilon},
  editor =              {Vuong, Son T. and Chanson, Samuel T.},
  booktitle =           {{P}roceedings of the 14th {I}nternational
                         {S}ymposium on {P}rotocol {S}pecification, {T}esting
                         and {V}erification ({PSTV}'94)},
  acronym =             {{PSTV}'94},
  publisher =           {Chapman \& Hall},
  series =              {IFIP Conference Proceedings},
  volume =              {1},
  pages =               {323-330},
  year =                {1995},
  confyear =            {1994},
}
List of authors