university website Publications by Year
  • sign in
  • Computer Security /
  • Electronic Notes in Theoretical Computer Science /
  • Article
  • Search

J.F. Groote (Jan Friso), M.R. Mousavi and M.A. Reniers (Michel)

2006

A Hierarchy of SOS Rule Formats

Publication

Publication

Electronic Notes in Theoretical Computer Science , Volume 156 p. 3- 25

Additional Metadata
THEME Software (theme 1)
Publisher Elsevier
Journal Electronic Notes in Theoretical Computer Science
Organisation Computer Security
Citation
APA Style
  • AAA Style
  • APA Style
  • Cell Style
  • Chicago Style
  • Harvard Style
  • IEEE Style
  • MLA Style
  • Nature Style
  • Vancouver Style
  • American-Institute-of-Physics Style
  • Council-of-Science-Editors Style
  • BibTex Format
  • Endnote Format
  • RIS Format
  • CSL Format
  • DOIs only Format
Groote, J. F., Mousavi, M. R., & Reniers, M. (2006). A Hierarchy of SOS Rule Formats. Electronic Notes in Theoretical Computer Science, 156, 3–25.

See Also
article
From μCRL to mCRL2: Motivation and Outline
J.F. Groote (Jan Friso), A.H.J. Mathijssen (Aad), M.J. van Weerdenburg (Muck) and Y.S. Usenko (Yaroslav)
article
Discretization of Timed Automata in Timed μCRL `a la Regions and Zones
J.F. Groote (Jan Friso), M.A. Reniers (Michel) and Y.S. Usenko (Yaroslav)
article
From μCRL to mCRL2: Motivation and Outline
J.F. Groote (Jan Friso), A.H.J. Mathijssen (Aad), M.J. van Weerdenburg (Muck) and Y.S. Usenko (Yaroslav)
article
Discretization of Timed Automata in Timed μCRL `a la Regions and Zones
J.F. Groote (Jan Friso), M.A. Reniers (Michel) and Y.S. Usenko (Yaroslav)

university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close