1995

Modal logics for real-time systems

BRIM, Luboš

Basic information

Original name

Modal logics for real-time systems

Authors

BRIM, Luboš

Edition

Brno, 107 s. 1995