%0 Conference Paper %1 journals/entcs/Eriksson07 %A Eriksson, Lars-Henrik %B AVoCS %D 2006 %E Merz, Stephan %E Nipkow, Tobias %I Elsevier %K dblp %P 77-91 %T The GTO Toolset and Method. %U http://dblp.uni-trier.de/db/journals/entcs/entcs185.html#Eriksson07 %V 185

@inproceedings{journals/entcs/Eriksson07, added-at = {2023-01-24T00:00:00.000+0100}, author = {Eriksson, Lars-Henrik}, biburl = {https://www.bibsonomy.org/bibtex/2f7bb2b0eb2139b2d3edce7d651299fde/dblp}, booktitle = {AVoCS}, crossref = {conf/avocs/2006}, editor = {Merz, Stephan and Nipkow, Tobias}, ee = {https://doi.org/10.1016/j.entcs.2007.05.030}, interhash = {8c7cd3317fd2c3b13dfebea255061fec}, intrahash = {f7bb2b0eb2139b2d3edce7d651299fde}, keywords = {dblp}, pages = {77-91}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T19:24:04.000+0200}, title = {The GTO Toolset and Method.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs185.html#Eriksson07}, volume = 185, year = 2006 }