UNWINDING AND INFERENCE CONTROL.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Proceedings of the Symposium on Security and Privacy
Publisher	IEEE
Pages	75-86
Number of pages	12
ISBN (Print)	0818605324
State	Published - 1984
Externally published	Yes

Name	Proceedings of the Symposium on Security and Privacy

ASJC Scopus subject areas

@inproceedings{6b96d632fa384a81b72634a873e59ced,

title = "UNWINDING AND INFERENCE CONTROL.",

author = "Goguen, {Joseph A.} and Jose Meseguer",

year = "1984",

language = "English (US)",

isbn = "0818605324",

series = "Proceedings of the Symposium on Security and Privacy",

publisher = "IEEE",

pages = "75--86",

booktitle = "Proceedings of the Symposium on Security and Privacy",

}

TY - GEN

T1 - UNWINDING AND INFERENCE CONTROL.

AU - Goguen, Joseph A.

AU - Meseguer, Jose

PY - 1984

Y1 - 1984

UR - http://www.scopus.com/inward/record.url?scp=0021177508&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0021177508&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0021177508

SN - 0818605324

T3 - Proceedings of the Symposium on Security and Privacy

SP - 75

EP - 86

BT - Proceedings of the Symposium on Security and Privacy

PB - IEEE

ER -