{"_id":"Pn7AWJRi2YWPBYExo","bibbaseid":"guernic-inmywishlistanautomatedtoolforfailsecuredesignanalysisanalloybasedfeasibilitydraft-2014","downloads":0,"creationDate":"2016-09-14T11:41:42.966Z","title":"In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft.","author_short":["Guernic, G. L."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/guernic?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2014-06-02T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Guernic"],"firstnames":["Gurvan","Le"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2a9dc88b1feeed46a0c10403845297084/dblp","booktitle":"ESSS","crossref":"journals/corr/PangL14","editor":[{"propositions":[],"lastnames":["Pang"],"firstnames":["Jun"],"suffixes":[]},{"propositions":[],"lastnames":["Liu"],"firstnames":["Yang"],"suffixes":[]}],"ee":"http://dx.doi.org/10.4204/EPTCS.150.5","interhash":"8768db56156ad4701973283e40874222","intrahash":"a9dc88b1feeed46a0c10403845297084","keywords":"dblp","pages":"50-55","series":"EPTCS","timestamp":"2015-06-18T10:18:21.000+0200","title":"In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft.","url":"http://dblp.uni-trier.de/db/series/eptcs/eptcs150.html#Guernic14","volume":"150","year":"2014","bibtex":"@inproceedings{journals/corr/Guernic14,\n added-at = {2014-06-02T00:00:00.000+0200},\n author = {Guernic, Gurvan Le},\n biburl = {http://www.bibsonomy.org/bibtex/2a9dc88b1feeed46a0c10403845297084/dblp},\n booktitle = {ESSS},\n crossref = {journals/corr/PangL14},\n editor = {Pang, Jun and Liu, Yang},\n ee = {http://dx.doi.org/10.4204/EPTCS.150.5},\n interhash = {8768db56156ad4701973283e40874222},\n intrahash = {a9dc88b1feeed46a0c10403845297084},\n keywords = {dblp},\n pages = {50-55},\n series = {EPTCS},\n timestamp = {2015-06-18T10:18:21.000+0200},\n title = {In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft.},\n url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs150.html#Guernic14},\n volume = 150,\n year = 2014\n}\n\n","author_short":["Guernic, G. L."],"editor_short":["Pang, J.","Liu, Y."],"key":"journals/corr/Guernic14","id":"journals/corr/Guernic14","bibbaseid":"guernic-inmywishlistanautomatedtoolforfailsecuredesignanalysisanalloybasedfeasibilitydraft-2014","role":"author","urls":{"Link":"http://dx.doi.org/10.4204/EPTCS.150.5","Paper":"http://dblp.uni-trier.de/db/series/eptcs/eptcs150.html#Guernic14"},"keyword":["dblp"],"downloads":0},"search_terms":["wish","list","automated","tool","fail","secure","design","analysis","alloy","based","feasibility","draft","guernic"],"keywords":["dblp"],"authorIDs":[],"dataSources":["Q4AxEyCiwhuEHt7Ey"]}