Nominal SOS

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings 18th Nordic Workshop on Programming Theory (NWPT'06, Reykjavik, Iceland, October 18-20, 2006)
Status	Gepubliceerd - 2006
Evenement	18th Nordic Workshop on Programming Theory, NWPT'06 - Reykjavik, IJsland Duur: 18 okt. 2006 → 20 okt. 2006 Congresnummer: 18

Workshop	18th Nordic Workshop on Programming Theory, NWPT'06
Verkorte titel	NWPT'06
Land/Regio	IJsland
Stad	Reykjavik
Periode	18/10/06 → 20/10/06
Ander	NWPT'06, Reykjavik, Iceland, October 2006

Citeer dit

@inproceedings{aa359597c6404a2bbb3a60a472ebfd42,

title = "Nominal SOS",

author = "M.R. Mousavi and M.A. Reniers and M.J. Gabbay",

year = "2006",

language = "English",

booktitle = "Proceedings 18th Nordic Workshop on Programming Theory (NWPT'06, Reykjavik, Iceland, October 18-20, 2006)",

note = "18th Nordic Workshop on Programming Theory, NWPT'06, NWPT'06 ; Conference date: 18-10-2006 Through 20-10-2006",

}

TY - GEN

T1 - Nominal SOS

AU - Mousavi, M.R.

AU - Reniers, M.A.

AU - Gabbay, M.J.

N1 - Conference code: 18

PY - 2006

Y1 - 2006

M3 - Conference contribution

BT - Proceedings 18th Nordic Workshop on Programming Theory (NWPT'06, Reykjavik, Iceland, October 18-20, 2006)

T2 - 18th Nordic Workshop on Programming Theory, NWPT'06

Y2 - 18 October 2006 through 20 October 2006

ER -