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