Algebre de machines et logique temporelle

Max Michel. Algebre de machines et logique temporelle. In Max Fontet, Kurt Mehlhorn, editors, STACS 84, Symposium of Theoretical Aspects of Computer Science, Paris, France, 11-13 April, 1984, Proceedings. Volume 166 of Lecture Notes in Computer Science, pages 287-298, Springer, 1984.

@inproceedings{Michel84,
  title = {Algebre de machines et logique temporelle},
  author = {Max Michel},
  year = {1984},
  researchr = {https://researchr.org/publication/Michel84},
  cites = {0},
  citedby = {0},
  pages = {287-298},
  booktitle = {STACS 84, Symposium of Theoretical Aspects of Computer Science, Paris, France, 11-13 April, 1984, Proceedings},
  editor = {Max Fontet and Kurt Mehlhorn},
  volume = {166},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-12920-0},
}