Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
regsy [2010/06/16 14:15] jad.hamza |
regsy [2011/01/12 17:08] (current) vkuncak |
||
---|---|---|---|
Line 5: | Line 5: | ||
==== Paper Describing the Algorithm ===== | ==== Paper Describing the Algorithm ===== | ||
+ | [[http://lara.epfl.ch/~kuncak/papers/HamzaETAL10SynthesisforRegularSpecificationsoverUnboundedDomains.html|Synthesis for Regular Specifications over Unbounded Domains]] | ||
==== Examples ==== | ==== Examples ==== |