Compiler Construction Using LOTOS NT
Abstract elided by the publisher.
Related papers
- Compositional State Space Generation from Lotos Programs TACAS 1997
- Extension of the Karp and Miller Procedure to Lotos Specifications CAV 1990
- Model-Checking for Real-Time Systems Specified in Lotos CAV 1992
- The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach CAV 1991
- Compiler Construction: Craftmanship or Engineering? CC 1996
- Compiler Construction by Object-Oriented System Nut CC 1988
- A Tool Box for Compiler Construction CC 1990
- Modular Denotational Semantics for Compiler Construction ESOP 1996