zbMath0905.03041MaRDI QIDQ4213375
Burghard von Karger
Publication date: 2 February 1999
zbMATH Keywords
measures; durations; temporal algebra; proof rule for control loops; verification of loops
Mathematics Subject Classification ID
03B70: Logic in computer science
03G25: Other algebras related to logic
Related Items