Search results

From CERES
Jump to: navigation, search

  • Research in Structural Operational Semantics
    ...tion system specifications with negative and quantitative premises. In Bas Luttik and Michel A. Reniers, editors, Proc. EXPRESS/SOS'12, volume 89 of EPTCS, p
    12 KB (1,595 words) - 11:16, 23 June 2014

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)

Retrieved from "https://wiki.hh.se/ceres/index.php/Special:Search"