%0 Conference Paper %1 conf/cav/AronsPRXZ01 %A Arons, Tamarah %A Pnueli, Amir %A Ruah, Sitvanit %A Xu, Jiazhao %A Zuck, Lenore D. %B CAV %D 2001 %E Berry, Gérard %E Comon, Hubert %E Finkel, Alain %I Springer %K dblp %P 221-234 %T Parameterized Verification with Automatically Computed Inductive Assertions. %U http://dblp.uni-trier.de/db/conf/cav/cav2001.html#AronsPRXZ01 %V 2102 %@ 3-540-42345-1

@inproceedings{conf/cav/AronsPRXZ01, added-at = {2017-05-25T00:00:00.000+0200}, author = {Arons, Tamarah and Pnueli, Amir and Ruah, Sitvanit and Xu, Jiazhao and Zuck, Lenore D.}, biburl = {https://www.bibsonomy.org/bibtex/2ebee7df9e59603eb5f5d527411b6b5c0/dblp}, booktitle = {CAV}, crossref = {conf/cav/2001}, editor = {Berry, Gérard and Comon, Hubert and Finkel, Alain}, ee = {https://doi.org/10.1007/3-540-44585-4_19}, interhash = {591a8c1d6d602ab66bade3589141269f}, intrahash = {ebee7df9e59603eb5f5d527411b6b5c0}, isbn = {3-540-42345-1}, keywords = {dblp}, pages = {221-234}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:16.000+0200}, title = {Parameterized Verification with Automatically Computed Inductive Assertions.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2001.html#AronsPRXZ01}, volume = 2102, year = 2001 }