Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems: Revision history

From Murray Wiki

View logs for this page

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 15:0815:08, 19 June 2016‎ Murray talk contribs‎ 6,885 bytes −1‎ No edit summary
curprev 15:0815:08, 19 June 2016‎ Murray talk contribs‎ 6,886 bytes −98‎ No edit summary

curprev 19:1319:13, 11 June 2016‎ Murray talk contribs‎ 6,984 bytes +20‎ No edit summary
curprev 02:4802:48, 11 June 2016‎ Murray talk contribs‎ 6,964 bytes −50‎ No edit summary
curprev 02:4702:47, 11 June 2016‎ Murray talk contribs‎ 7,014 bytes +46‎ No edit summary

curprev 04:5404:54, 10 June 2016‎ Murray talk contribs‎ 6,968 bytes +26‎ No edit summary

curprev 21:0521:05, 24 April 2016‎ Murray talk contribs‎ 6,942 bytes +34‎ No edit summary
curprev 21:0421:04, 24 April 2016‎ Murray talk contribs‎ 6,908 bytes +4‎ No edit summary

curprev 02:5002:50, 26 November 2015‎ Murray talk contribs‎ 6,904 bytes −6‎ No edit summary
curprev 02:1402:14, 26 November 2015‎ Murray talk contribs‎ 6,910 bytes +107‎ →‎Publications
curprev 01:4201:42, 26 November 2015‎ Murray talk contribs‎ 6,803 bytes +22‎ No edit summary

curprev 02:2102:21, 8 April 2014‎ Murray talk contribs‎ 6,781 bytes 0‎ No edit summary

curprev 06:4806:48, 9 December 2013‎ Slivings talk contribs‎ 6,781 bytes +255‎ →‎Publications

curprev 20:4120:41, 5 December 2013‎ Ewolff talk contribs‎ 6,526 bytes +282‎ →‎Publications
curprev 20:3920:39, 5 December 2013‎ Ewolff talk contribs‎ 6,244 bytes +807‎ →‎Publications

curprev 16:5616:56, 8 August 2013‎ Murray talk contribs‎ 5,437 bytes 0‎ →‎Publications

curprev 04:2304:23, 13 May 2013‎ Murray talk contribs‎ 5,437 bytes +565‎ →‎Publications

curprev 01:4401:44, 5 May 2013‎ Murray talk contribs‎ 4,872 bytes −356‎ →‎Publications

curprev 23:5223:52, 17 April 2013‎ Murray talk contribs‎ 5,228 bytes 0‎ No edit summary

curprev 15:4615:46, 16 October 2012‎ Murray talk contribs‎ 5,228 bytes +35‎ No edit summary

curprev 21:1121:11, 1 October 2012‎ Murray talk contribs‎ 5,193 bytes +2,678‎ →‎Publications

curprev 04:3004:30, 23 July 2012‎ Murray talk contribs‎ 2,515 bytes −11‎ →‎Publications
curprev 04:2804:28, 23 July 2012‎ Murray talk contribs‎ 2,526 bytes 0‎ No edit summary
curprev 04:2804:28, 23 July 2012‎ Murray talk contribs‎ 2,526 bytes −16‎ →‎Publications

Retrieved from "https://murray.cds.caltech.edu/Correct-by-Construction_Synthesis_of_Control_Protocols_for_Aerospace_Systems"

Navigation menu