Normal view MARC view

Giacobbe, Mirco (Personal Name)

Preferred form: Giacobbe, Mirco

Machine generated authority record.

Work cat.: (AT-ISTA): Giacobbe, Mirco, Automatic time-unbounded reachability analysis of hybrid systems, 2019

Powered by Koha