1. On the Expressive Power of OKFDDs

   • Bernd Becker
   • Rolf Drechsler
   • Michael Theobald

   OriginalPaper Pages: 5 - 21

2. Stubborn Sets for Real-Time Petri Nets

   • Robert H. Sloan
   • Ugo Buy

   OriginalPaper Pages: 23 - 40

3. Joint Minimization of Code and Data for Synchronous Dataflow Programs

   • Praveen K. Murthy
   • Shuvra S. Bhattacharyya
   • Edward A. Lee

   OriginalPaper Pages: 41 - 70

4. The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor

   • Bishop C. Brock
   • Warren A. Hunt Jr.

   OriginalPaper Pages: 71 - 104