C
[Cer93] Kārlis Čerāns. Decidability of Bisimulation Equivalences for Parallel Timer Processes. In CAV'92, Lecture Notes in Computer Science 663, pages 302-315. Springer-Verlag, 1993. 
@inproceedings{cav1992-Cer,
  author =              {{\v{C}}er{\={a}}ns, K{\={a}}rlis},
  title =               {Decidability of Bisimulation Equivalences for
                         Parallel Timer Processes},
  editor =              {von Bochmann, Gregor and Probst, David K.},
  booktitle =           {{P}roceedings of the 4th {I}nternational {W}orkshop
                         on {C}omputer {A}ided {V}erification ({CAV}'92)},
  acronym =             {{CAV}'92},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {663},
  pages =               {302-315},
  year =                {1993},
  confyear =            {1992},
  confmonth =           {6-7},
}
List of authors