Views
Toolbox
New pages
From MCRL2
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)- 16:02, 15 December 2011 Control Software of the CMS Experiment at CERN's Large Hadron Collider (hist) [5,008 bytes] Timw (Talk | contribs) (New page: The Large Hadron Collider (LHC) experiment at the European Organization for Nuclear Research (CERN) has been built in a tunnel 27 kilometres in circumference and is designed to yield head-...)
- 19:38, 12 December 2011 Dogfooding the structural operational semantics of mCRL2 (hist) [2,705 bytes] Fstappers (Talk | contribs) (New page: right The mCRL2 language is a formal specification language that is used to specify and model the behavior of distributed systems and protocols. With the accompan...)
Copyright © 2005-2012 Technische Universiteit Eindhoven.
