Normal view MARC view

Knapp, Alexander, 1971- (Personal Name)

Number of records used in: 2

Preferred form: Knapp, Alexander, 1971-

Machine generated authority record.

Work cat.: (AT-ISTA): International Workshop on Formal Methods for Industrial Critical Systems (21st : 2016 : Pisa, Italy) 58538, Critical systems :