Publications:Semantics and expressiveness of ordered SOS

From CERES
Revision as of 04:43, 26 June 2014 by Slawek (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

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
Retrieved from "https://wiki.hh.se/ceres/index.php?title=Publications:Semantics_and_expressiveness_of_ordered_SOS&oldid=4135"