Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Carrier, Fabienne - Laboratory: VERIMAG, Université Joseph Fourier Grenoble
FINITE STATE MACHINES : COMPOSITION, VERIFICATION, MINIMIZATION : A CASE STUDY
Using Formal Tools to Study Complex Circuits Behaviour Paul Amblard
June 7, 2011 11:44 WSPC/INSTRUCTION FILE rdv International Journal of Foundations of Computer Science
