Membership-Based Synthesis of Linear Hybrid Automata
- García Soto, M.
- Henzinger, T.A.
- Schilling, C.
- Zeleznik, L.
ISSN: 1611-3349, 0302-9743
ISBN: 9783030255398
Any de publicació: 2019
Volum: 11561 LNCS
Pàgines: 297-314
Tipus: Aportació congrés
ISSN: 1611-3349, 0302-9743
ISBN: 9783030255398
Any de publicació: 2019
Volum: 11561 LNCS
Pàgines: 297-314
Tipus: Aportació congrés