%0 Conference Paper %1 conf/tbillc/Gierasimczuk07 %A Gierasimczuk, Nina %B TbiLLC %D 2007 %E Bosch, Peter %E Gabelaia, David %E Lang, Jérôme %I Springer %K dblp %P 193-205 %T Identification through Inductive Verification. %U http://dblp.uni-trier.de/db/conf/tbillc/tbillc2007.html#Gierasimczuk07 %V 5422 %@ 978-3-642-00664-7

@inproceedings{conf/tbillc/Gierasimczuk07, added-at = {2018-11-02T00:00:00.000+0100}, author = {Gierasimczuk, Nina}, biburl = {https://www.bibsonomy.org/bibtex/25b1de5defefc22a080b0922b556f3111/dblp}, booktitle = {TbiLLC}, crossref = {conf/tbillc/2007}, editor = {Bosch, Peter and Gabelaia, David and Lang, Jérôme}, ee = {https://doi.org/10.1007/978-3-642-00665-4_16}, interhash = {bc32d2cbc37b29df3cc8eba407624496}, intrahash = {5b1de5defefc22a080b0922b556f3111}, isbn = {978-3-642-00664-7}, keywords = {dblp}, pages = {193-205}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:44:12.000+0200}, title = {Identification through Inductive Verification.}, url = {http://dblp.uni-trier.de/db/conf/tbillc/tbillc2007.html#Gierasimczuk07}, volume = 5422, year = 2007 }