%0 Journal Article %1 journals/ase/RoychoudhuryR04 %A Roychoudhury, Abhik %A Ramakrishnan, I. V. %D 2004 %J Autom. Softw. Eng. %K dblp %N 2 %P 101-139 %T Inductively Verifying Invariant Properties of Parameterized Systems. %U http://dblp.uni-trier.de/db/journals/ase/ase11.html#RoychoudhuryR04 %V 11

@article{journals/ase/RoychoudhuryR04, added-at = {2011-05-18T00:00:00.000+0200}, author = {Roychoudhury, Abhik and Ramakrishnan, I. V.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24f530bd40600dcf52c92308aa2c7b92c/dblp}, ee = {http://dx.doi.org/10.1023/B:AUSE.0000017740.35552.88}, interhash = {dfee5ec205e73a4ca0b206b353abb75d}, intrahash = {4f530bd40600dcf52c92308aa2c7b92c}, journal = {Autom. Softw. Eng.}, keywords = {dblp}, number = 2, pages = {101-139}, timestamp = {2016-02-02T10:13:30.000+0100}, title = {Inductively Verifying Invariant Properties of Parameterized Systems.}, url = {http://dblp.uni-trier.de/db/journals/ase/ase11.html#RoychoudhuryR04}, volume = 11, year = 2004 }