A Structure for Dependability Arguments. Jackson, D. & Kang, E. In Proceedings of Workshops on Abstract State Machines (ASM), pages 1, 2010. Paper bibtex @inproceedings{ dblp2546097,
title = {A Structure for Dependability Arguments},
author = {Daniel Jackson and Eunsuk Kang},
author_short = {Jackson, D. and Kang, E.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2010},
key = {dblp2546097},
id = {dblp2546097},
biburl = {http://www.dblp.org/rec/bibtex/conf/asm/JacksonK10},
url = {http://dx.doi.org/10.1007/978-3-642-11811-1_1},
conference = {ASM},
pages = {1},
text = {ASM 2010:1},
booktitle = {Proceedings of Workshops on Abstract State Machines (ASM)}
}
Downloads: 0
{"_id":{"_str":"534217f8ecd21cdc07000214"},"__v":2,"authorIDs":["5456dee58b01c8193000000f"],"author_short":["Jackson, D.","Kang, E."],"bibbaseid":"jackson-kang-astructurefordependabilityarguments-2010","bibdata":{"title":"A Structure for Dependability Arguments","author":["Daniel Jackson","Eunsuk Kang"],"author_short":["Jackson, D.","Kang, E."],"bibtype":"inproceedings","type":"inproceedings","year":"2010","key":"dblp2546097","id":"dblp2546097","biburl":"http://www.dblp.org/rec/bibtex/conf/asm/JacksonK10","url":"http://dx.doi.org/10.1007/978-3-642-11811-1_1","conference":"ASM","pages":"1","text":"ASM 2010:1","booktitle":"Proceedings of Workshops on Abstract State Machines (ASM)","bibtex":"@inproceedings{ dblp2546097,\n title = {A Structure for Dependability Arguments},\n author = {Daniel Jackson and Eunsuk Kang},\n author_short = {Jackson, D. and Kang, E.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2010},\n key = {dblp2546097},\n id = {dblp2546097},\n biburl = {http://www.dblp.org/rec/bibtex/conf/asm/JacksonK10},\n url = {http://dx.doi.org/10.1007/978-3-642-11811-1_1},\n conference = {ASM},\n pages = {1},\n text = {ASM 2010:1},\n booktitle = {Proceedings of Workshops on Abstract State Machines (ASM)}\n}","bibbaseid":"jackson-kang-astructurefordependabilityarguments-2010","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-11811-1_1"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/asm/JacksonK10","downloads":0,"keywords":[],"search_terms":["structure","dependability","arguments","jackson","kang"],"title":"A Structure for Dependability Arguments","year":2010,"dataSources":["zTFJc9ZyoimrRmF4R"]}