L
[LS00] François Laroussinie et Philippe Schnoebelen. The State-Explosion Problem from Trace to Bisimulation Equivalence. In FoSSaCS'00, Lecture Notes in Computer Science 1784, pages 192-207. Springer-Verlag, mars 2000.
@inproceedings{fossacs2000-LS,
  author =              {Laroussinie, Fran{\c c}ois and Schnoebelen, {\relax
                         Ph}ilippe},
  title =               {The State-Explosion Problem from Trace to
                         Bisimulation Equivalence},
  editor =              {Tiuryn, Jerzy},
  booktitle =           {{P}roceedings of the 3rd {I}nternational
                         {C}onference on {F}oundations of {S}oftware
                         {S}cience and {C}omputation {S}tructure
                         ({FoSSaCS}'00)},
  acronym =             {{FoSSaCS}'00},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1784},
  pages =               {192-207},
  year =                {2000},
  month =               mar,
  doi =                 {10.1007/3-540-46432-8_13},
}
Liste des auteurs