Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Raymond, Pascal - Laboratoire VERIMAG, Centre National de la Recherche Scientifique (CNRS)
Electronic Notes in Theoretical Computer Science 65 No. 5 (2002) URL: http://www.elsevier.nl/locate/entcs/volume65.html 8 pages
pr'esent'ee par Pascal RAYMOND
The synchronous dataflow programming language LUSTRE \Lambda
Automatic Verification of Parameterized Networks of Processes 1
Recognizing Regular Expressions by means of Dataflow Networks
Case Studies with Lurette V2 Erwan Jahier1
