scientific article; zbMATH DE number 2059569
From MaRDI portal
Publication:4457839
zbMath1096.68665MaRDI QIDQ4457839
Publication date: 17 March 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Temporal reasoning through automatic translation of tock-CSP into timed automata ⋮ Checking noninterference in timed CSP ⋮ Parameter synthesis for hierarchical concurrent real-time systems ⋮ Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format