scientific article
From MaRDI portal
Publication:4039698
zbMath0825.68598MaRDI QIDQ4039698
No author found.
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70)
Related Items (3)
A polynomial dynamic system approach to software design for attractivity requirement ⋮ Unnamed Item ⋮ Using heuristic search for finding deadlocks in concurrent systems
This page was built for publication:
