Brockmeyer, U. and G. Wittich. Real-Time Verification of STATEMATE Designs. Proc. CAV 98

Languages mentioned

• STATEMATE {1998}