%0 Conference Paper %1 conf/tacas/BoigelotG97 %A Boigelot, Bernard %A Godefroid, Patrice %B TACAS %D 1997 %E Brinksma, Ed %I Springer %K dblp %P 321-333 %T Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs. %U http://dblp.uni-trier.de/db/conf/tacas/tacas97.html#BoigelotG97 %V 1217 %@ 3-540-62790-1

@inproceedings{conf/tacas/BoigelotG97, added-at = {2017-05-22T00:00:00.000+0200}, author = {Boigelot, Bernard and Godefroid, Patrice}, biburl = {https://www.bibsonomy.org/bibtex/2fa5374b9040dca7e055cd9bb88ea2763/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/1997}, editor = {Brinksma, Ed}, ee = {https://doi.org/10.1007/BFb0035397}, interhash = {0e84fe4323d0f62d399ec9c68f6c9613}, intrahash = {fa5374b9040dca7e055cd9bb88ea2763}, isbn = {3-540-62790-1}, keywords = {dblp}, pages = {321-333}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:37:22.000+0200}, title = {Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas97.html#BoigelotG97}, volume = 1217, year = 1997 }