PakCat catalogue record

REAL-TIME SYSTEMS: Formal Specification and Automatic Verification

By Olderog, Ernst-Rüdiger; Dierks, Henning

Bibliographic details

Subjects

NULL