Method engineering for real-life concurrent systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Method engineering for real-life concurrent systems

Full text

Html (9 KB)

Source

ACM Computing Surveys (CSUR) archive
Volume 28 , Issue 4es (December 1996) table of contents
Special issue: position statements on strategic directions in computing research

Article No. 56

Year of Publication: 1996

ISSN:0360-0300

Authors

Bernhard Steffen	Universität Passau, Fakultät für Mathematik und Informatik, Innstr. 33, D-94032 Passau, Germany
Tiziana Margaria	Universität Passau, Fakultät für Mathematik und Informatik, Innstr. 33, D-94032 Passau, Germany

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 20, Citation Count: 1

Additional Information:

cited by collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/242224.242296 What is a DOI?

CITED BY

Mike Hinchey , Michael Jackson , Patrick Cousot , Byron Cook , Jonathan P. Bowen , Tiziana Margaria, Software engineering and formal methods, Communications of the ACM, v.51 n.9, September 2008

Collaborative Colleagues:

Bernhard Steffen: colleagues

Tiziana Margaria: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player