A hierarchy of partial order properties

M. Kwiatkowska, D. Peled, W. Penczek

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Citaten (Scopus)
    Originele taal-2Engels
    TitelTemporal Logic (Proceedings First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994)
    RedacteurenD.M. Gabbay, H.J. Ohlbach
    Plaats van productieBerlin
    UitgeverijSpringer
    Pagina's398-414
    ISBN van geprinte versie3-540-58241-X
    DOI's
    StatusGepubliceerd - 1994

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume827
    ISSN van geprinte versie0302-9743

    Citeer dit

    Kwiatkowska, M., Peled, D., & Penczek, W. (1994). A hierarchy of partial order properties. In D. M. Gabbay, & H. J. Ohlbach (editors), Temporal Logic (Proceedings First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994) (blz. 398-414). (Lecture Notes in Computer Science; Vol. 827). Springer. https://doi.org/10.1007/BFb0014001