Heuristics for Safety and Security Constraints

Flemming Nielson, Hanne Riis Nielson

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Journal	Electronic Notes in Theoretical Computer Science
Volume	172
Pages (from-to)	523-543
ISSN	1571-0661
DOIs	https://doi.org/10.1016/j.entcs.2007.02.018
Publication status	Published - 2007

Access to Document

@article{667f78ccf8c84f1b94784a2bfdcc404f,

title = "Heuristics for Safety and Security Constraints",

author = "Flemming Nielson and Nielson, {Hanne Riis}",

year = "2007",

doi = "10.1016/j.entcs.2007.02.018",

language = "English",

volume = "172",

pages = "523--543",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - JOUR

T1 - Heuristics for Safety and Security Constraints

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

PY - 2007

Y1 - 2007

U2 - 10.1016/j.entcs.2007.02.018

DO - 10.1016/j.entcs.2007.02.018

M3 - Journal article

SN - 1571-0661

VL - 172

SP - 523

EP - 543

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -