%0 Conference Paper %1 conf/ftrtft/BoualiMST96 %A Bouali, Amar %A Marmorat, Jean-Paul %A de Simone, Robert %A Toma, Horia %B FTRTFT %D 1996 %E Jonsson, Bengt %E Parrow, Joachim %I Springer %K dblp %P 463-466 %T Verifying Synchronous Reactive Systems Programmed in ESTEREL. %U http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft1996.html#BoualiMST96 %V 1135 %@ 3-540-61648-9

@inproceedings{conf/ftrtft/BoualiMST96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Bouali, Amar and Marmorat, Jean-Paul and de Simone, Robert and Toma, Horia}, biburl = {https://www.bibsonomy.org/bibtex/24183b151c923496e62b4897ae3fc22cd/dblp}, booktitle = {FTRTFT}, crossref = {conf/ftrtft/1996}, editor = {Jonsson, Bengt and Parrow, Joachim}, ee = {https://doi.org/10.1007/3-540-61648-9_57}, interhash = {49ff6c92f67b1f3461a922f768ce7c0a}, intrahash = {4183b151c923496e62b4897ae3fc22cd}, isbn = {3-540-61648-9}, keywords = {dblp}, pages = {463-466}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:41:01.000+0200}, title = {Verifying Synchronous Reactive Systems Programmed in ESTEREL.}, url = {http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft1996.html#BoualiMST96}, volume = 1135, year = 1996 }