Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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 ====
 
regsy.txt · Last modified: 2011/01/12 17:08 by vkuncak