%0 Conference Paper %1 conf/stacs/GribomontH94 %A Gribomont, E. Pascal %A Hagelstein, Jacques %B STACS %D 1994 %E Enjalbert, Patrice %E Mayr, Ernst W. %E Wagner, Klaus W. %I Springer %K dblp %P 275-286 %T Reactive Variables for System Specification and Design. %U http://dblp.uni-trier.de/db/conf/stacs/stacs94.html#GribomontH94 %V 775 %@ 3-540-57785-8

@inproceedings{conf/stacs/GribomontH94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Gribomont, E. Pascal and Hagelstein, Jacques}, biburl = {https://www.bibsonomy.org/bibtex/2ffdb6ee9d076288da8dac73918147deb/dblp}, booktitle = {STACS}, crossref = {conf/stacs/1994}, editor = {Enjalbert, Patrice and Mayr, Ernst W. and Wagner, Klaus W.}, ee = {https://doi.org/10.1007/3-540-57785-8_148}, interhash = {26a87672f11646b5ae5bf7caff7fe5c1}, intrahash = {ffdb6ee9d076288da8dac73918147deb}, isbn = {3-540-57785-8}, keywords = {dblp}, pages = {275-286}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:25:28.000+0200}, title = {Reactive Variables for System Specification and Design.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs94.html#GribomontH94}, volume = 775, year = 1994 }