A formal analysis of a car periphery supervision system

B. Gebremichael, T. Krilavicius, Y.S. Usenko

    Research output: Book/Report › Report › Professional

    Original languageUndefined
    Place of PublicationEnschede
    PublisherINF-Centre for Telematics and Information Techn.
    Publication statusPublished - 2004

    Publication series

    NameISSN1381-3625

    Keywords

    • METIS-221303

    Cite this