%0 Conference Paper %1 conf/fm/JaffarS09 %A Jaffar, Joxan %A Santosa, Andrew E. %B FM %D 2009 %E Cavalcanti, Ana %E Dams, Dennis %I Springer %K dblp %P 72-88 %T Recursive Abstractions for Parameterized Systems. %U http://dblp.uni-trier.de/db/conf/fm/fm2009.html#JaffarS09 %V 5850 %@ 978-3-642-05088-6

@inproceedings{conf/fm/JaffarS09, added-at = {2017-05-22T00:00:00.000+0200}, author = {Jaffar, Joxan and Santosa, Andrew E.}, biburl = {https://www.bibsonomy.org/bibtex/2921f92820fbf230f0879908b79cade99/dblp}, booktitle = {FM}, crossref = {conf/fm/2009}, editor = {Cavalcanti, Ana and Dams, Dennis}, ee = {https://doi.org/10.1007/978-3-642-05089-3_6}, interhash = {2080a9475e49077ec7be8b8ea46d8472}, intrahash = {921f92820fbf230f0879908b79cade99}, isbn = {978-3-642-05088-6}, keywords = {dblp}, pages = {72-88}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:23.000+0200}, title = {Recursive Abstractions for Parameterized Systems.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2009.html#JaffarS09}, volume = 5850, year = 2009 }