Heuristice for Safety and Security Constraints

Flemming Nielson, Hanne Riis Nielson

TypeJournal paper [With referee]
JournalJournal
Year2007    Month June    Vol. 172    pp. 523-543
PublisherElsevier North-Holland, Inc.
SeriesElectronic Notes in Theoretical Computer Science
ISBN / ISSN1571-0661
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering