scientific article
From MaRDI portal
Publication:2764111
zbMath0977.68575MaRDI QIDQ2764111
Clemens Fischer, Ernst-Ruediger Olderog, Heike Wehrheim
Publication date: 22 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2029/20290091
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99) General topics in artificial intelligence (68T01)
Related Items (3)
Ernst-Rüdiger Olderog: A Life for Meaning ⋮ Integrating a formal method into a software engineering process with UML and Java ⋮ Viewing CSP Specifications with UML-RT Diagrams
This page was built for publication:
