Show simple item record

COSMICAH 2005: workshop on verification of COncurrent Systems with dynaMIC Allocated Heaps (a Satellite event of ICALP 2005) - Informal Proceedings

dc.contributor.authorDistefano, Dino
dc.contributor.authorIosif, Radu
dc.contributor.authorO'Hearn, Peter
dc.date.accessioned2013-12-30T15:32:23Z
dc.date.available2013-12-30T15:32:23Z
dc.date.issued2013-12-30
dc.identifier.issn1470-5559
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/5041
dc.descriptionLisboa Portugal, 10 July 2005en_US
dc.language.isoenen_US
dc.relation.ispartofseriesDepartment of Computer Science Research Reports;RR-05-04 - July 2005
dc.titleCOSMICAH 2005: workshop on verification of COncurrent Systems with dynaMIC Allocated Heaps (a Satellite event of ICALP 2005) - Informal Proceedingsen_US
dc.typeTechnical Reporten_US


Files in this item

Thumbnail
Name:
RR-05-04.pdf
Size:
2.546Mb
Format:
application/
View/Open

This item appears in the following Collection(s)

Show simple item record