Reactive Variables for System Specification and Design

E. Pascal Gribomont, Jacques Hagelstein. Reactive Variables for System Specification and Design. In Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner, editors, STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings. Volume 775 of Lecture Notes in Computer Science, pages 275-286, Springer, 1994.

@inproceedings{GribomontH94,
  title = {Reactive Variables for System Specification and Design},
  author = {E. Pascal Gribomont and Jacques Hagelstein},
  year = {1994},
  tags = {design science, e-science, Pascal, design},
  researchr = {https://researchr.org/publication/GribomontH94},
  cites = {0},
  citedby = {0},
  pages = {275-286},
  booktitle = {STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings},
  editor = {Patrice Enjalbert and Ernst W. Mayr and Klaus W. Wagner},
  volume = {775},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57785-8},
}