Information for "EECI 2013: Algorithmic Verification of Hybrid Systems"

From Murray Wiki
Jump to navigationJump to search

Basic information

Display titleEECI 2013: Algorithmic Verification of Hybrid Systems
Default sort keyEECI 2013: Algorithmic Verification of Hybrid Systems
Page length (in bytes)3,271
Page ID3308
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page1
Counted as a content pageYes

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)
View the protection log for this page.

Edit history

Page creatorUtopcu (talk | contribs)
Date of page creation09:11, 16 March 2013
Latest editorMurray (talk | contribs)
Date of latest edit18:04, 2 March 2014
Total number of edits3
Total number of distinct authors2
Recent number of edits (within past 90 days)0
Recent number of distinct authors0

Page properties

Transcluded template (1)

Template used on this page: