Using fairness constraints in process-algebraic verification

Antti Sakari Puhakka (Speaker)

    Activity: Talk or presentationConference presentation

    Period2005
    Event titleTheoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 2005, LNCS
    Event typeConference

    Country of activity

    • United States

    Publication forum classification

    • No publication forum level