Michael Jackson's Frame Problems

Dines Bjørner, Solulemane Koussoube, Roger Noussi, Georgui Satchok

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	ICFEM'97: Intl. Conf. on Formal Engineering Methods
Place of Publication	Los Alamitos, Calif., USA
Publisher	IEEE CS Press
Publication date	1997
Publication status	Published - 1997
Event	ICFEM'97: Intl. Conf. on Formal Engineering Methods - Hiroshima, Japan Duration: 1 Jan 1997 → …

Conference	ICFEM'97: Intl. Conf. on Formal Engineering Methods
City	Hiroshima, Japan
Period	01/01/1997 → …

OpenUrl availability

@inproceedings{da8af1f814224dcdb193eada4f9b84a8,

title = "Michael Jackson's Frame Problems",

author = "Dines Bj{\o}rner and Solulemane Koussoube and Roger Noussi and Georgui Satchok",

year = "1997",

language = "English",

booktitle = "ICFEM'97: Intl. Conf. on Formal Engineering Methods",

publisher = "IEEE CS Press",

note = "ICFEM'97: Intl. Conf. on Formal Engineering Methods ; Conference date: 01-01-1997",

}

TY - GEN

T1 - Michael Jackson's Frame Problems

AU - Bjørner, Dines

AU - Koussoube, Solulemane

AU - Noussi, Roger

AU - Satchok, Georgui

PY - 1997

Y1 - 1997

M3 - Article in proceedings

BT - ICFEM'97: Intl. Conf. on Formal Engineering Methods

PB - IEEE CS Press

CY - Los Alamitos, Calif., USA

T2 - ICFEM'97: Intl. Conf. on Formal Engineering Methods

Y2 - 1 January 1997

ER -