Assisted Coverage Closure
dc.contributor.author | Nellis, A | en_US |
dc.contributor.author | Kesseli, P | en_US |
dc.contributor.author | Conmy, PR | en_US |
dc.contributor.author | Kroening, D | en_US |
dc.contributor.author | Schrammel, P | en_US |
dc.contributor.author | Tautschnig, M | en_US |
dc.date.accessioned | 2016-03-02T11:46:55Z | |
dc.date.issued | 2016 | en_US |
dc.identifier.issn | 0302-9743 | en_US |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/11330 | |
dc.description | submitted paper | |
dc.format.extent | 49 - 64 | en_US |
dc.language.iso | en | en_US |
dc.relation.ispartof | NASA FORMAL METHODS, NFM 2016 | en_US |
dc.title | Assisted Coverage Closure | en_US |
dc.type | Article | |
dc.identifier.doi | 10.1007/978-3-319-40648-0_5 | en_US |
pubs.author-url | http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000386324800005&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=612ae0d773dcbdba3046f6df545e9f6a | en_US |
pubs.notes | Not known | en_US |
pubs.publication-status | Published | en_US |
pubs.volume | 9690 | en_US |