%0 Conference Paper %1 conf/nfm/GhaziTH15 %A Ghazi, Aboubakr Achraf El %A Taghdiri, Mana %A Herda, Mihai %B NFM %D 2015 %E Havelund, Klaus %E Holzmann, Gerard J. %E Joshi, Rajeev %I Springer %K dblp %P 143-157 %T First-Order Transitive Closure Axiomatization via Iterative Invariant Injections. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2015.html#GhaziTH15 %V 9058 %@ 978-3-319-17523-2

@inproceedings{conf/nfm/GhaziTH15, added-at = {2022-10-02T00:00:00.000+0200}, author = {Ghazi, Aboubakr Achraf El and Taghdiri, Mana and Herda, Mihai}, biburl = {https://www.bibsonomy.org/bibtex/2b276796c7e7483c3ed18b930f1b8a085/dblp}, booktitle = {NFM}, crossref = {conf/nfm/2015}, editor = {Havelund, Klaus and Holzmann, Gerard J. and Joshi, Rajeev}, ee = {https://doi.org/10.1007/978-3-319-17524-9_11}, interhash = {22ef94b7f1b21352982e8626c22872b9}, intrahash = {b276796c7e7483c3ed18b930f1b8a085}, isbn = {978-3-319-17523-2}, keywords = {dblp}, pages = {143-157}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T21:03:43.000+0200}, title = {First-Order Transitive Closure Axiomatization via Iterative Invariant Injections.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2015.html#GhaziTH15}, volume = 9058, year = 2015 }