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

A. E. Abdallah, W. Luk

    Research output: Contribution to journalEditorial

    Original languageEnglish
    Article number1174807
    Pages (from-to)277
    Number of pages1
    JournalProceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003
    DOIs
    Publication statusPublished (VoR) - 2003
    Event36th Annual Hawaii International Conference on System Sciences, HICSS 2003 - Big Island, United States
    Duration: 6 Jan 20039 Jan 2003

    Cite this