Up and Down The Temporal Way
From MaRDI portal
Publication:3799672
DOI10.1093/comjnl/30.2.134zbMath0653.68117OpenAlexW2104695195MaRDI QIDQ3799672
Publication date: 1987
Published in: The Computer Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/comjnl/30.2.134
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Temporal Logic and Fair Discrete Systems ⋮ Indentification of inductive properties during verification of synchronous sequential circuits ⋮ A formal mathematical framework for modeling probabilistic hybrid systems ⋮ Mirror, mirror in my hand: a duality between specifications and models of process behaviour ⋮ Similarity saturation for first order linear temporal logic with UNLESS ⋮ Specification in CTL + past for verification in CTL.
This page was built for publication: Up and Down The Temporal Way
