scientific article; zbMATH DE number 1444722
From MaRDI portal
Publication:4952302
zbMath0945.03017MaRDI QIDQ4952302
Iliano Cervesato, Angelo Montanari, Massimo Franceschet
Publication date: 8 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fault diagnosisexpressive powermodal operatorspartially ordered eventsModal Event Calculusmodel of time and change
Related Items (1)
This page was built for publication: