Specification styles in distributed systems design and verification
- C.A. Vissers
- , Giuseppe Scollo
- , Marten J. van Sinderen
- , Hendrik Brinksma
Research output: Contribution to journal › Article › Academic › peer-review
85
Link opens in a new tab
Citations
(Scopus)
291
Downloads
(Pure)