An Operational Semantics for Weak PSL.

Koen Claessen, Johan Mrtensson

Browse the full FMCAD paper archive.