%0 Conference Paper %1 conf/amast/ShanklandBM04 %A Shankland, Carron %A Bryans, Jeremy W. %A Morel, Lionel %B AMAST %D 2004 %E Rattray, Charles %E Maharaj, Savi %E Shankland, Carron %I Springer %K dblp %P 460-474 %T Expressing Iterative Properties Logically in a Symbolic Setting. %U http://dblp.uni-trier.de/db/conf/amast/amast2004.html#ShanklandBM04 %V 3116 %@ 3-540-22381-9

@inproceedings{conf/amast/ShanklandBM04, added-at = {2019-03-14T00:00:00.000+0100}, author = {Shankland, Carron and Bryans, Jeremy W. and Morel, Lionel}, biburl = {https://www.bibsonomy.org/bibtex/228fb37cab923a173b524f233976d96a0/dblp}, booktitle = {AMAST}, crossref = {conf/amast/2004}, editor = {Rattray, Charles and Maharaj, Savi and Shankland, Carron}, ee = {https://doi.org/10.1007/978-3-540-27815-3_35}, interhash = {7562b35a96c287ca364b63f2e1bbab78}, intrahash = {28fb37cab923a173b524f233976d96a0}, isbn = {3-540-22381-9}, keywords = {dblp}, pages = {460-474}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:25:18.000+0200}, title = {Expressing Iterative Properties Logically in a Symbolic Setting.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast2004.html#ShanklandBM04}, volume = 3116, year = 2004 }