![](/img/cover-not-exists.png)
SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
HAREL, DAVID, KUGLER, HILLELVolume:
13
Language:
english
Journal:
International Journal of Foundations of Computer Science
DOI:
10.1142/S0129054102000935
Date:
February, 2002
File:
PDF, 3.60 MB
english, 2002