Srba, Jiri.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Reactive systems : modelling, specification and verification by: Aceto, Luca.; Srba, Jiri.; Anna Ingolfsdottir (1952-); Larsen, K. G. (1957-) (Language materials, printed)

Subjects