G
[vG90] Rob van Glabbeek. The linear-time–branching-time spectrum. In CONCUR'90, Lecture Notes in Computer Science 458, pages 278-297. Springer-Verlag, août 1990. 
@inproceedings{concur1990-vGl,
  author =              {van Glabbeek, Rob},
  title =               {The linear-time--branching-time spectrum},
  editor =              {Baeten, Jos C. M. and Klop, Jan Willem},
  booktitle =           {{P}roceedings of the 1st {I}nternational
                         {C}onference on {C}oncurrency {T}heory
                         ({CONCUR}'90)},
  acronym =             {{CONCUR}'90},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {458},
  pages =               {278-297},
  year =                {1990},
  month =               aug,
}
Liste des auteurs