Petr Kozák
List of publications from the
DBLP Bibliography Server
-
FAQ
Ask others: ACM
DL
/
Guide
-
-
CSB
-
MetaPress
-
Google
-
Bing
-
Yahoo
1995
1
Petr Kozák: Stepwise Synthesis of Reactive Programs.
SOFSEM 1995
: 391-398
Last update Fri Jun 1 15:44:53 2012 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page
- CSB - MetaPress - Google - Bing - Yahoo
Data released under the ODC-BY 1.0 license — See also our legal information page