Formal methods for engineering special-purpose parallel systems introduction to minitrack

A. E. Abdallah, W. Luk

Research output: Contribution to journal › Editorial

Original language	English
Article number	1174807
Pages (from-to)	277
Number of pages	1
Journal	Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003
DOIs	https://doi.org/10.1109/HICSS.2003.1174807
Publication status	Published (VoR) - 2003
Event	36th Annual Hawaii International Conference on System Sciences, HICSS 2003 - Big Island, United States Duration: 6 Jan 2003 → 9 Jan 2003

Access to Document

@article{161c57c92ad4437d8059105e140921a3,

title = "Formal methods for engineering special-purpose parallel systems introduction to minitrack",

author = "Abdallah, \{A. E.\} and W. Luk",

year = "2003",

doi = "10.1109/HICSS.2003.1174807",

language = "English",

pages = "277",

journal = "Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003",

note = "36th Annual Hawaii International Conference on System Sciences, HICSS 2003 ; Conference date: 06-01-2003 Through 09-01-2003",

}

TY - JOUR

T1 - Formal methods for engineering special-purpose parallel systems introduction to minitrack

AU - Abdallah, A. E.

AU - Luk, W.

PY - 2003

Y1 - 2003

UR - https://www.scopus.com/pages/publications/84969523586

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

U2 - 10.1109/HICSS.2003.1174807

DO - 10.1109/HICSS.2003.1174807

M3 - Editorial

AN - SCOPUS:84969523586

SP - 277

JO - Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003

JF - Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003

M1 - 1174807

T2 - 36th Annual Hawaii International Conference on System Sciences, HICSS 2003

Y2 - 6 January 2003 through 9 January 2003

ER -