Automatic Verification of Erlang−Style Concurrency
Emanuele D'Osualdo‚ Jonathan Kochems and C.−H. Luke Ong
Details
| Journal |
CoRR |
| Note |
to appear in SAS 2013 |
| Volume |
abs/1303.2201 |
| Year |
2013 |
Links
Related pages
|
People |