Validation of Bosch' Mobile Communication Network Architecture with Spin

Romanus Langerak, T.C. Ruys

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationProceedings of the Third SPIN 97 Workshop
    Place of PublicationUniversity of Twente, Enschede
    Number of pages14
    Publication statusPublished - 5 Apr 1997


    • METIS-120056

    Cite this