Nr. 32 (1999): RS-32 Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics

Publiceret: 1999-12-02

Artikler