Show simple item record

dc.contributor.authorKanovich, Max
dc.contributor.authorWhite, Graham
dc.contributor.authorGottliebsen, Hanne
dc.contributor.authorOliva, Paulo
dc.date.accessioned2013-12-30T15:32:38Z
dc.date.available2013-12-30T15:32:38Z
dc.date.issued2013-12-30
dc.identifier.issn1470-5559
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/5043
dc.descriptionOxford, UK, 26 August 2005en_US
dc.language.isoenen_US
dc.relation.ispartofseriesDepartment of Computer Science Research Reports;RR-05-06 - August 2005
dc.titleWorkshop on Verification and Theorem Proving for Continuous Systems (NetCA Workshop 2005)en_US
dc.typeTechnical Reporten_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record