2002/01/01 by Jozsef Kovacs, József Kovács, Gábor Kusper +4 · 1 citation
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Real-Time Systems Scheduling
paper · doi:10.1007/3-540-45706-2_12
crossref issued 2002/01/01 · crossref published 2002/01/01 · crossref published-print 2002/01/01 · openalex publication_date 2002/01/01 · crossref published-online 2002/08/20 · crossref created 2007/10/07 · crossref deposited 2020/04/20 · crossref indexed 2024/09/04 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29