Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Gribomont, Pascal - Institut Montefiore, Université de Liège
Simplification of Boolean verification E. Pascal Gribomont 1
Science of Computer Programming, 21 (1993) 156 ESPRIT Basic Research Action REACT CONCURRENCY WITHOUT TOIL
CAVEAT : technique and tool for Computer Aided VErification And Transformation
Preprocessing for invariant validation 1 E. Pascal Gribomont
Atomicity refinement and trace reduction theorems Lecture Notes in Computer Science, vol. 1102, pp. 311--322
Development of concurrent systems by incremental transformation 1
f'evrier 1998 --Journ'ees Francophones des Langages Applicatifs --JFLA98 Advanced Programming Techniques
Decidability of invariant validation for parameterized systems ?
Reactive variables for system specification and E. Pascal Gribomont ? Jacques Hagelstein
Generic Systolic Arrays : A Methodology for Systolic Design
