scientific article
From MaRDI portal
Publication:4037128
zbMath0786.68020MaRDI QIDQ4037128
No author found.
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
linear predicate temporal logicprogramming language L.Ospecification language for communications software
This page was built for publication:
