Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/ichsa/TakadaTKK17
@inproceedings{DBLP:conf/ichsa/TakadaTKK17, author = {Keiichiro Takada and Munehiro Takimoto and Tsutomu Kumazawa and Yasushi Kambayashi}, editor = {Javier Del Ser}, title = {{ACO} Based Model Checking Extended by Smell-Like Pheromone with Hop Counts}, booktitle = {Harmony Search Algorithm - Proceedings of the 3rd International Conference on Harmony Search Algorithm, {ICHSA} 2017, Bilbao, Spain, 22-24 Februar 2017}, series = {Advances in Intelligent Systems and Computing}, volume = {514}, pages = {52--63}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-981-10-3728-3\_7}, doi = {10.1007/978-981-10-3728-3\_7}, timestamp = {Wed, 27 Jun 2018 13:50:25 +0200}, biburl = {https://dblp.org/rec/conf/ichsa/TakadaTKK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.