scientific article; zbMATH DE number 1947707

zbMath1018.68614MaRDI QIDQ4411666

Carlos O'Ryan, Douglas C. Schmidt, Darrell Brunsch, Mayur Deshpande

Publication date: 9 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2519/25190568.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Distributed systems (68M14)

Related Items (1)

Verifying distributed real-time properties of embedded systems via graph transformations and model checking

This page was built for publication: