A System for Compositional Verification of Asynchronous Objects

Ahrendt, Wolfgang; Dylla, Maximilian

doi:10.1016/j.scico.2010.08.003

Local TagsRelease HistoryDetailsSummary

A System for Compositional Verification of Asynchronous Objects

Ahrendt, W., & Dylla, M. (2012). A System for Compositional Verification of Asynchronous Objects. Science of Computer Programming, 77(12), 1289-1309. doi:10.1016/j.scico.2010.08.003.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-5FB2-6 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-4292-B

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Ahrendt, Wolfgang¹, Author
Dylla, Maximilian², Author

Affiliations:
1External Organizations, ou_persistent22
2Databases and Information Systems, MPI for Informatics, Max Planck Society, ou_24018

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2012Date issued: 2012

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Peer

Identifiers: eDoc: 647527
DOI: 10.1016/j.scico.2010.08.003
URI: http://dx.doi.org/10.1016/j.scico.2010.08.003
Other: Local-ID: C1256DBF005F876D-1160815AFE569B22C1257AEA0067F6F1-AhrendtDylla2012
BibTex Citekey: AhrendtDylla2012

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Science of Computer Programming

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: Amsterdam : Elsevier

Pages: - Volume / Issue: 77 (12) Sequence Number: - Start / End Page: 1289 - 1309 Identifier: -