Synthesis of large concurrent programs via pairwise composition Article Proceedings Paper

cited authors

  • Attie, PC; Baeten, JCM; Mauw, S

publication date

  • 1999

published in

category

volume

  • 1664

research area