Information for "Publications:Towards model checking executable UML specifications in mCRL2"

From CERES
Jump to: navigation, search

Basic information

Display titlePublications:Towards model checking executable UML specifications in mCRL2
Default sort keyTowards model checking executable UML specifications in mCRL2
Page length (in bytes)2,427
Page ID3804
Page content languageEnglish (en)
Indexing by robotsAllowed
Number of views1,622
Number of redirects to this page0

Page protection

EditAllow all users
MoveAllow all users

Edit history

Page creatorSlawek (Talk | contribs)
Date of page creation05:43, 26 June 2014
Latest editorSlawek (Talk | contribs)
Date of latest edit05:43, 26 June 2014
Total number of edits1
Total number of distinct authors1
Recent number of edits (within past 91 days)0
Recent number of distinct authors0

Page properties

Transcluded templates (2)

Templates used on this page: