Non-Abelian Groups in Optimization of Decision Diagrams Representations of Discrete Functions Radomir S. Stanković OriginalPaper Pages: 209 - 231
Efficient Simulation of Formal Processor Models Matthew WildingDavid GreveDavid Hardin OriginalPaper Pages: 233 - 248
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP Graeme SmithJohn Derrick OriginalPaper Pages: 249 - 284
Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines Christoph MeinelThorsten Theobald OriginalPaper Pages: 285 - 301