LARA

This is an old revision of the document!


Circuit-Based Synthesis from Regular Specifications