Publication:2753691
From MaRDI portal
zbMath0973.68038MaRDI QIDQ2753691
Publication date: 11 November 2001
03B70: Logic in computer science
03B44: Temporal logic
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)