Nicolas Markey

@inproceedings{mfps1993-LY,
  author =              {Larsen, Kim Guldstrand and Yi, Wang},
  title =               {Time Abstracted Bisimiulation: Implicit
                         Specifications and Decidability},
  editor =              {Brookes, Setphen D. and Main, Michael G. and Melton,
                         Austin and Mislove, Michael W. and Schmidt, David
                         A.},
  booktitle =           {{P}roceedings of the 9th {I}nternational
                         {C}onference on {M}athematical {F}oundations of
                         {P}rogramming {S}emantics ({MFPS}'93)},
  acronym =             {{MFPS}'93},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {802},
  pages =               {160-176},
  year =                {1994},
  confyear =            {1993},
  confmonth =           {4},
}