@comment{{This file has been generated by bib2bib 1.99}}
@comment{{Command line: bib2bib -c '$type = "MISC" and note = "talk"' /Users/michael/svnhome/cv/public_bib/my.bib}}
@misc{tum-dtu:tautschnig, author = {Michael Tautschnig}, title = {{Satisfiability Modulo Theories: ABsolver}}, howpublished = {Joint meeting {DTU}-{TUM}}, year = {2007}, address = {Munich, Germany}, month = may, note = {talk}, pdf = {tum-dtu.pdf}, flags = {copy,omit} }
@misc{eth-ox-tud:tautschnig, author = {Michael Tautschnig}, title = {{Query-Driven Program Testing}}, howpublished = {Joint meeting of groups from Oxford, ETH Z\"urich, and FORSYTE}, year = {2009}, address = {Stoos, Switzerland}, month = apr, note = {talk} }
@misc{ist-tuv:tautschnig, author = {Michael Tautschnig}, title = {{FQL: A Query Language for Program Testing}}, howpublished = {Joint meeting of Tom Henzinger's group and FORSYTE}, year = {2010}, address = {Maria Gugging, Austria}, month = jan, note = {talk} }
@misc{ist-rse:tautschnig, author = {Michael Tautschnig}, title = {{FQL: A Query Language for Program Testing}}, howpublished = {IST / TU Rigorous Systems Engineering Seminar}, year = {2010}, address = {Maria Gugging, Austria}, month = mar, note = {talk} }
@misc{biffl:tautschnig, author = {Michael Tautschnig}, title = {{FQL: A Query Language for Program Testing}}, howpublished = {Joint meeting of Quality Software Engineering and FORSYTE groups}, year = {2010}, address = {Vienna, Austria}, month = mar, note = {talk} }
@misc{rise:tautschnig, author = {Michael Tautschnig}, title = {{Tools for Concurrency and Distributed Systems}}, howpublished = {RiSE Workshop}, year = {2010}, address = {Graz, Austria}, month = feb, note = {talk} }
@misc{bodenmais:tautschnig, author = {Michael Tautschnig}, title = {{A Query Language for Programs}}, howpublished = {i7@Bodenmais}, year = {2007}, month = jul, note = {talk}, flags = {copy,omit} }
@misc{avm08:tautschnig, author = {Michael Tautschnig}, title = {{FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement}}, howpublished = {Alpine Verification Meeting}, year = {2008}, address = {Semmering, Austria}, month = may, note = {talk} }
@misc{kps09:tautschnig, author = {Michael Tautschnig}, title = {{FQL: A Query Language for Program Testing}}, howpublished = {15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'09)}, year = {2009}, address = {Maria Taferl, Austria}, month = oct, note = {talk} }
This file was generated by bibtex2html 1.99.