scientific article; zbMATH DE number 1953017
From MaRDI portal
Publication:4414375
zbMath1022.68584MaRDI QIDQ4414375
Bernhard Steffen, Hardi Hungar
Publication date: 25 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2575/25750005.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication:
