G
[GS94] Roberto Gorrieri and Glauco Siliprandi. Real-time System Verification using P/T Nets. In CAV'94, Lecture Notes in Computer Science 818, pages 14-26. Springer-Verlag, June 1994. 
@inproceedings{cav1994-GS,
  author =              {Gorrieri, Roberto and Siliprandi, Glauco},
  title =               {Real-time System Verification using {P/T} Nets},
  editor =              {Dill, David L.},
  booktitle =           {{P}roceedings of the 6th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'94)},
  acronym =             {{CAV}'94},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {818},
  pages =               {14-26},
  year =                {1994},
  month =               jun,
}
List of authors