%0 Conference Paper %1 conf/tap/BruckerW07 %A Brucker, Achim D. %A Wolff, Burkhart %B TAP %D 2007 %E Gurevich, Yuri %E Meyer, Bertrand %I Springer %K dblp %P 149-168 %T Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. %U http://dblp.uni-trier.de/db/conf/tap/tap2007.html#BruckerW07 %V 4454 %@ 978-3-540-73769-8

@inproceedings{conf/tap/BruckerW07, added-at = {2017-06-05T00:00:00.000+0200}, author = {Brucker, Achim D. and Wolff, Burkhart}, biburl = {https://www.bibsonomy.org/bibtex/2e1629716655bea469a89737c1cddc06b/dblp}, booktitle = {TAP}, crossref = {conf/tap/2007}, editor = {Gurevich, Yuri and Meyer, Bertrand}, ee = {https://doi.org/10.1007/978-3-540-73770-4_9}, interhash = {798b87337b076a628c0a6a5d5f6d343b}, intrahash = {e1629716655bea469a89737c1cddc06b}, isbn = {978-3-540-73769-8}, keywords = {dblp}, pages = {149-168}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:28:34.000+0200}, title = {Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing.}, url = {http://dblp.uni-trier.de/db/conf/tap/tap2007.html#BruckerW07}, volume = 4454, year = 2007 }