dblp.uni-trier.dewww.uni-trier.de

Stefan Hendricx

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999
4EEStefan Hendricx, Luc J. M. Claesen: Verification of Finite-State-Machine Refinements Using a Symbolic Methodology. CHARME 1999: 326-329
3EEStefan Hendricx, Luc J. M. Claesen: Formally Verified Redundancy Removal. DATE 1999: 150-
2EEStefan Hendricx, Luc J. M. Claesen: Symbolic Multi-Level Verification of Refinement. Great Lakes Symposium on VLSI 1999: 288-291
1997
1EEStefan Hendricx, Luc J. M. Claesen: A symbolic core approach to the formal verification of integrated mixed-mode applications. ED&TC 1997: 432-436

Coauthor Index

1Luc J. M. Claesen [1] [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)