%0 Conference Paper %1 conf/ershov/BoutsinasPP96 %A Boutsinas, Basilis %A Papadimitriou, Stergios %A Pavlides, Georgios %B Ershov Memorial Conference %D 1996 %E Bjørner, Dines %E Broy, Manfred %E Pottosin, Igor V. %I Springer %K dblp %P 134-145 %T Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning Assistance. %U http://dblp.uni-trier.de/db/conf/ershov/ershov1996.html#BoutsinasPP96 %V 1181 %@ 3-540-62064-8

@inproceedings{conf/ershov/BoutsinasPP96, added-at = {2017-05-21T00:00:00.000+0200}, author = {Boutsinas, Basilis and Papadimitriou, Stergios and Pavlides, Georgios}, biburl = {https://www.bibsonomy.org/bibtex/280bb7413042a752ca85a7e8021190359/dblp}, booktitle = {Ershov Memorial Conference}, crossref = {conf/ershov/1996}, editor = {Bjørner, Dines and Broy, Manfred and Pottosin, Igor V.}, ee = {https://doi.org/10.1007/3-540-62064-8_13}, interhash = {d7445c71110d10059a577f45bdda8d0c}, intrahash = {80bb7413042a752ca85a7e8021190359}, isbn = {3-540-62064-8}, keywords = {dblp}, pages = {134-145}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:04:07.000+0200}, title = {Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning Assistance.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov1996.html#BoutsinasPP96}, volume = 1181, year = 1996 }