H
[HL89] Hans Hüttel et Kim Guldstrand Larsen. The Use of Static Constructs in a Modal Process Logic. In Logic at Botik 89 – Proceedings of the Symposium on Logical Foundations of Computer Science, Lecture Notes in Computer Science 363, pages 163-180. Springer-Verlag, juillet 1989. 
@inproceedings{botik89-HL,
  author =              {H{\"u}ttel, Hans and Larsen, Kim Guldstrand},
  title =               {The Use of Static Constructs in a Modal Process
                         Logic},
  editor =              {Meyer, Albert R. and Taitslin, Michael A.},
  booktitle =           {{L}ogic at {B}otik~89 -- {P}roceedings of the
                         {S}ymposium on {L}ogical {F}oundations of {C}omputer
                         {S}cience},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {363},
  pages =               {163-180},
  year =                {1989},
  month =               jul,
}
Liste des auteurs