1 |
A lexicographical approach for duration and safety criteria: Lex((Q|S) Flow)
|
|
|
|
In: ISSN: 0171-6468 ; EISSN: 1436-6304 ; OR Spectrum ; https://hal.archives-ouvertes.fr/hal-01378282 ; OR Spectrum, Springer Verlag, 2017, 39 (1), pp.231-272. ⟨10.1007/s00291-016-0451-1⟩ (2017)
|
|
BASE
|
|
Show details
|
|
|
|