publications
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
publications [2020/04/08 06:53] yfc |
publications [2021/06/02 08:44] (current) yfc |
||
|---|---|---|---|
| Line 91: | Line 91: | ||
| Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman\\ | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman\\ | ||
| - | String Constraints for Verification [{{ ::cav2014.pdf |preprint}}]\\ | + | String Constraints for Verification [{{ ::cav2014-1.pdf |preprint}}]\\ |
| **CAV 2014** | **CAV 2014** | ||
publications.1586328839.txt.gz · Last modified: 2020/04/08 06:53 by yfc
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
