%0 Conference Paper %1 conf/tacas/ChenFCTW09 %A Chen, Yu-Fang %A Farzan, Azadeh %A Clarke, Edmund M. %A Tsay, Yih-Kuen %A Wang, Bow-Yaw %B TACAS %D 2009 %E Kowalewski, Stefan %E Philippou, Anna %I Springer %K dblp %P 31-45 %T Learning Minimal Separating DFA's for Compositional Verification. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2009.html#ChenFCTW09 %V 5505 %@ 978-3-642-00767-5

@inproceedings{conf/tacas/ChenFCTW09, added-at = {2022-01-03T00:00:00.000+0100}, author = {Chen, Yu-Fang and Farzan, Azadeh and Clarke, Edmund M. and Tsay, Yih-Kuen and Wang, Bow-Yaw}, biburl = {https://www.bibsonomy.org/bibtex/2f9643fee839cc1fb4dc02fe0989eef04/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2009}, editor = {Kowalewski, Stefan and Philippou, Anna}, ee = {https://doi.org/10.1007/978-3-642-00768-2_3}, interhash = {cc1d8b6e3fffd4f760d5c0d5b2a44b3f}, intrahash = {f9643fee839cc1fb4dc02fe0989eef04}, isbn = {978-3-642-00767-5}, keywords = {dblp}, pages = {31-45}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:31:36.000+0200}, title = {Learning Minimal Separating DFA's for Compositional Verification.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2009.html#ChenFCTW09}, volume = 5505, year = 2009 }