Hiding variables when decomposing specifications into GR(1) contracts: Revision history

From Murray Wiki
Jump to navigationJump 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.

17 April 2017

22 March 2017

  • curprev 07:3107:31, 22 March 2017‎ Murray talk contribs‎ 1,532 bytes +1,532‎ Created page with "{{Paper |Title=Hiding variables when decomposing specifications into GR(1) contracts |Authors=Ioannis Filippidis and Richard M. Murray |Source=Submitted, 2017 Conference on De..."
Retrieved from "https://murray.cds.caltech.edu/Hiding_variables_when_decomposing_specifications_into_GR(1)_contracts"