Home
DCC eCatalog
E.__Ciapessoni
Embedding time granularity in a logical specification language for synchronous real-time systems
