|
|
???tair.name??? >
???browser.page.title.author???
|
"clarke e m"???jsp.browse.items-by-author.description???
Showing items 1-8 of 8 (1 Page(s) Totally)
1
View [10|25|50] records per page
| 臺大學術典藏 |
2018-09-10T08:09:03Z |
Comparing learning algorithms in automated assume-guarantee reasoning
|
Chen, Y.-F.;Clarke, E.M.;Farzan, A.;He, F.;Tsai, M.-H.;Tsay, Y.-K.;Wang, B.-Y.;Zhu, L.; Chen, Y.-F.; Clarke, E.M.; Farzan, A.; He, F.; Tsai, M.-H.; Tsay, Y.-K.; Wang, B.-Y.; Zhu, L.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T08:09:03Z |
Comparing learning algorithms in automated assume-guarantee reasoning
|
Chen, Y.-F.;Clarke, E.M.;Farzan, A.;He, F.;Tsai, M.-H.;Tsay, Y.-K.;Wang, B.-Y.;Zhu, L.; Chen, Y.-F.; Clarke, E.M.; Farzan, A.; He, F.; Tsai, M.-H.; Tsay, Y.-K.; Wang, B.-Y.; Zhu, L.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T08:09:03Z |
Automated assume-guarantee reasoning through implicit learning
|
Chen, Y.-F.;Clarke, E.M.;Farzan, A.;Tsai, M.-H.;Tsay, Y.-K.;Wang, B.-Y.; Chen, Y.-F.; Clarke, E.M.; Farzan, A.; Tsai, M.-H.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T08:09:03Z |
Automated assume-guarantee reasoning through implicit learning
|
Chen, Y.-F.;Clarke, E.M.;Farzan, A.;Tsai, M.-H.;Tsay, Y.-K.;Wang, B.-Y.; Chen, Y.-F.; Clarke, E.M.; Farzan, A.; Tsai, M.-H.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T07:28:16Z |
Learning minimal separating DFA's for compositional verification
|
Chen, Y.-F.;Farzan, A.;Clarke, E.M.;Tsay, Y.-K.;Wang, B.-Y.; Chen, Y.-F.; Farzan, A.; Clarke, E.M.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T07:28:16Z |
Learning minimal separating DFA's for compositional verification
|
Chen, Y.-F.;Farzan, A.;Clarke, E.M.;Tsay, Y.-K.;Wang, B.-Y.; Chen, Y.-F.; Farzan, A.; Clarke, E.M.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T06:56:12Z |
Extending automated compositional verification to the full class of omega-regular languages
|
Farzan, A.;Chen, Y.-F.;Clarke, E.M.;Tsay, Y.-K.;Wang, B.-Y.; Farzan, A.; Chen, Y.-F.; Clarke, E.M.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T06:56:12Z |
Extending automated compositional verification to the full class of omega-regular languages
|
Farzan, A.;Chen, Y.-F.;Clarke, E.M.;Tsay, Y.-K.;Wang, B.-Y.; Farzan, A.; Chen, Y.-F.; Clarke, E.M.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY |
Showing items 1-8 of 8 (1 Page(s) Totally)
1
View [10|25|50] records per page
|
