Goran Frehse (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Goran Frehse, Oded Maler: Reachability Analysis of a Switched Buffer Network. HSCC 2007: 698-701

2 Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler: Time Domain Verification of Oscillator Circuit Properties. Electr. Notes Theor. Comput. Sci. 153(3): 9-22 (2006)

Selection of 2 from 7 records - Goran Frehse has 4 coauthors

5		Goran Frehse, Oded Maler: Reachability Analysis of a Switched Buffer Network. HSCC 2007: 698-701
2		Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler: Time Domain Verification of Oscillator Circuit Properties. Electr. Notes Theor. Comput. Sci. 153(3): 9-22 (2006)