Skip to main content

Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.

Jump to: navigation, search

Information for "Henshin Statespace Explorer"

Basic information

Display titleHenshin Statespace Explorer
Redirects toHenshin/State Space Tools (info)
Default sort keyHenshin Statespace Explorer
Page length (in bytes)39
Page ID38853
Page content languageEnglish (en)
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
Number of subpages of this page0 (0 redirects; 0 non-redirects)

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)

Edit history

Page creatorUnnamed Poltroon (Talk)
Date of page creation05:37, 22 September 2012
Latest editorHeidelme.students.uni-marburg.de (Talk | contribs)
Date of latest edit15:17, 6 February 2018
Total number of edits2
Total number of distinct authors2
Recent number of edits (within past 90 days)0
Recent number of distinct authors0

Back to the top