{"_id":"seiiJL5Hqei9idxq3","bibbaseid":"wood-vandervalk-mccarthy-wilkinson-leveragingapplicationsofformalmethodsverificationandvalidationapplicationsandcasestudies-2012","authorIDs":["3D2gJyDWo9oBKnSCp","SDCtrmyrMaghAhukd"],"author_short":["Wood, I.","Vandervalk, B.","McCarthy, L.","Wilkinson, M., D."],"bibdata":{"type":"inbook","year":"2012","pages":"56-66","publisher":"Springer Berlin/Heidelberg","id":"b7a08242-7958-3a0a-aecd-0cb6d75d1e62","created":"2014-07-02T09:11:39.000Z","file_attached":false,"profile_id":"17c87d5d-2470-32d7-b273-0734a1d9195f","last_modified":"2017-03-22T07:45:59.566Z","read":false,"starred":false,"authored":"true","confirmed":"true","hidden":false,"citation_key":"wood2012owl","source_type":"article","private_publication":false,"bibtype":"inbook","author":"Wood, I and Vandervalk, B and McCarthy, L and Wilkinson, Mark D","editor":"Margaria, Tiziana and Steffen, Bernhard","doi":"10.1007/978-3-642-34032-1_6","chapter":"OWL-DL Domain-Models as Abstract Workflows","title":"Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies","bibtex":"@inbook{\n type = {inbook},\n year = {2012},\n pages = {56-66},\n publisher = {Springer Berlin/Heidelberg},\n id = {b7a08242-7958-3a0a-aecd-0cb6d75d1e62},\n created = {2014-07-02T09:11:39.000Z},\n file_attached = {false},\n profile_id = {17c87d5d-2470-32d7-b273-0734a1d9195f},\n last_modified = {2017-03-22T07:45:59.566Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n citation_key = {wood2012owl},\n source_type = {article},\n private_publication = {false},\n bibtype = {inbook},\n author = {Wood, I and Vandervalk, B and McCarthy, L and Wilkinson, Mark D},\n editor = {Margaria, Tiziana and Steffen, Bernhard},\n doi = {10.1007/978-3-642-34032-1_6},\n chapter = {OWL-DL Domain-Models as Abstract Workflows},\n title = {Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies}\n}","author_short":["Wood, I.","Vandervalk, B.","McCarthy, L.","Wilkinson, M., D."],"editor_short":["Margaria, T.","Steffen, B."],"biburl":"https://bibbase.org/service/mendeley/17c87d5d-2470-32d7-b273-0734a1d9195f","bibbaseid":"wood-vandervalk-mccarthy-wilkinson-leveragingapplicationsofformalmethodsverificationandvalidationapplicationsandcasestudies-2012","role":"author","urls":{},"metadata":{"authorlinks":{"wilkinson, m":"https://bibbase.org/service/mendeley/17c87d5d-2470-32d7-b273-0734a1d9195f"}},"downloads":0},"bibtype":"inbook","creationDate":"2020-07-27T17:40:08.564Z","downloads":0,"keywords":[],"search_terms":["leveraging","applications","formal","methods","verification","validation","applications","case","studies","wood","vandervalk","mccarthy","wilkinson"],"title":"Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies","year":2012,"biburl":"https://bibbase.org/service/mendeley/17c87d5d-2470-32d7-b273-0734a1d9195f","dataSources":["u3DebWvhQaEque62E","ya2CyA73rpZseyrZ8","2252seNhipfTmjEBQ"]}