scientific article
From MaRDI portal
Publication:4028772
zbMath0825.68584MaRDI QIDQ4028772
No author found.
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Handling database updates in two-dimensional temporal logic ⋮ MetateM: An introduction ⋮ A transformation-based synthesis of temporal specification ⋮ Temporal representation and reasoning in artificial intelligence: A review ⋮ Linear temporal logic as an executable semantics for planning languages
This page was built for publication:
