Information for "SURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers"

From Murray Wiki
Jump to navigationJump to search

Basic information

Display titleSURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers
Default sort keySURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers
Page length (in bytes)4,105
Page ID3411
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
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 creatorIfilippi (talk | contribs)
Date of page creation19:17, 29 December 2013
Latest editorIfilippi (talk | contribs)
Date of latest edit19:26, 29 December 2013
Total number of edits3
Total number of distinct authors1
Recent number of edits (within past 90 days)0
Recent number of distinct authors0