Skip to main navigation Skip to search Skip to main content

Using fairness constraints in process-algebraic verification

  • Antti Sakari Puhakka (Speaker)

    Activity: Talk or presentation › Conference 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