Publications:Semantics and expressiveness of ordered SOS
From CERES
| Title | Semantics and expressiveness of ordered SOS |
|---|---|
| Author | Mohammad Reza Mousavi and Iain C. C. Phillips and Michel A. Reniers and Irek Ulidowski |
| Year | 2007 |
| PublicationType | Report |
| Journal | |
| HostPublication | |
| DOI | |
| Conference | |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:585576 |
| Abstract |
