Browsing by Author "Hofman, Piotr"

University of Warsaw Repository

pl | en

Browsing by Author "Hofman, Piotr"

Sort by: Order: Results:

  • Hofman, Piotr (2014-02-24)
    This dissertation contributes to analysis methods for infinite-state systems. The dissertation focuses on equivalence testing for two relevant classes of infinite-state systems: commutative context-free processes, and ...

Search Repository


My Account