scientific article; zbMATH DE number 1487497
From MaRDI portal
Publication:4493906
zbMath0953.68039MaRDI QIDQ4493906
Anna Mikhajlova, Joakim von Wright, Ralph-Johan Back
Publication date: 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
An approach to formal verification of human-computer interaction ⋮ Dual choice and iteration in an abstract algebra of action
This page was built for publication:
