%0 Conference Paper %1 conf/isorc/AndrePR01 %A André, Charles %A Peraldi, Marie-Agnès %A Rigault, Jean-Paul %B ISORC %D 2001 %I IEEE Computer Society %K dblp %P 438- %T Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach. %U http://dblp.uni-trier.de/db/conf/isorc/isorc2001.html#AndrePR01 %@ 0-7695-1089-2

@inproceedings{conf/isorc/AndrePR01, added-at = {2014-10-06T00:00:00.000+0200}, author = {André, Charles and Peraldi, Marie-Agnès and Rigault, Jean-Paul}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24972d627aa952b4b29ff6f6544f22673/dblp}, booktitle = {ISORC}, crossref = {conf/isorc/2001}, ee = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2001.922869}, interhash = {71f4aceb32a97d3e23f4414eedc17469}, intrahash = {4972d627aa952b4b29ff6f6544f22673}, isbn = {0-7695-1089-2}, keywords = {dblp}, pages = {438-}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T14:11:51.000+0100}, title = {Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach.}, url = {http://dblp.uni-trier.de/db/conf/isorc/isorc2001.html#AndrePR01}, year = 2001 }