Darko Kirovski
Original record- Institution
- University of California, Los Angeles
- Year
- 2001
- Country
- United States
- MGP identifier
- 70520
Dissertation: Constraint Manipulation Techniques for Synthesis and Verification of Embedded Systems
Advisor 1
- Miodrag M. PotkonjakUniversity of California, Berkeley · 1991
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Milenko Drinic | University of California, Los Angeles | 2003 | 0 |