scientific article; zbMATH DE number 2080045

zbMATH Open1043.68508MaRDI QIDQ4472233FDOQ4472233

Authors: Arnim Wedig, Horst F. Wedde 

Publication date: 4 August 2004

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

Title of this publication is not available (Why is that?)

Recommendations

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 3868587
• scientific article; zbMATH DE number 4018360
• scientific article; zbMATH DE number 4085005
• Distributed cooperation with action systems

Mathematics Subject Classification ID

Distributed systems (68M14)

Cited In (1)

• Formal Techniques for Networked and Distributed Systems - FORTE 2005

Uses Software

• Bandera

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472233)