Learn More
  • Wan Fokkink
  • Texts in Theoretical Computer Science. An EATCS…
  • 2000
Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been(More)