%0 Conference Paper %1 conf/isola/GrozIO12 %A Groz, Roland %A Irfan, Muhammad-Naeem %A Oriat, Catherine %B ISoLA (1) %D 2012 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 444-457 %T Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing. %U http://dblp.uni-trier.de/db/conf/isola/isola2012-1.html#GrozIO12 %V 7609 %@ 978-3-642-34025-3

@inproceedings{conf/isola/GrozIO12, added-at = {2017-05-23T00:00:00.000+0200}, author = {Groz, Roland and Irfan, Muhammad-Naeem and Oriat, Catherine}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22c3353b4ec93e64a91818e2ebf1ff5cd/dblp}, booktitle = {ISoLA (1)}, crossref = {conf/isola/2012-1}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-642-34026-0_33}, interhash = {a448d6e7872e99e95519b41e70b6773e}, intrahash = {2c3353b4ec93e64a91818e2ebf1ff5cd}, isbn = {978-3-642-34025-3}, keywords = {dblp}, pages = {444-457}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:48:16.000+0200}, title = {Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2012-1.html#GrozIO12}, volume = 7609, year = 2012 }