Poprzednia strona
Rekrutacja 2022/23
Bounded Model Checking for Timed Systems
G. Audemard, A. Cimatti, A. Korniłowicz, R. Sebastiani
() 243-259
DOI: 10.1007/3-540-36135-9_16
