@article{Kulakowski2014mili, 

Acmid = {2561407},
Address = {Tarrytown, NY, USA},
Author = {Ku{\l}akowski, K. and Matyasik, P. and Ernst, S.},
Date-Added = {2015-05-15 18:04:44 +0000},
Date-Modified = {2015-09-26 18:03:12 +0000},
Doi = {10.1016/j.eswa.2013.06.065},
If2014 = {2.24},
Issn = {0957-4174},
Issue_Date = {March, 2014},
Journal = {Expert Syst. Appl.},
Keywords = {Behavior modeling, Formal methods, Intelligent robots for construction, Lighting measurements},
Month = mar,
Number = {4},
Numpages = {6},
Pages = {984--989},
Publisher = {Pergamon Press, Inc.},
Title = {Modeling Indoor Lighting Inspection Robot Behavior Using Concurrent Communicating Lists},
Url = {http://dx.doi.org/10.1016/j.eswa.2013.06.065},
Volume = {41},
Year = {2014},
Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.eswa.2013.06.065}}

@techreport{kulakowski2013oocn, 

Author = {Ku{\l}akowski, K. and Szmuc, T.},
Date-Added = {2012-12-08 16:51:57 +0000},
Date-Modified = {2013-04-08 21:48:20 +0000},
Institution = {AGH University of Science and Technology},
Title = {Outline of {CCL} notation syntax},
Url = {http://winntbg.bg.agh.edu.pl/csl/dacstr-1-2013.pdf},
Year = {2013},
Bdsk-Url-1 = {http://winntbg.bg.agh.edu.pl/csl/dacstr-1-2013.pdf}}

@inproceedings{Kulakowski2012CCLS, 

Author = {Ku{\l}akowski, K.},
Booktitle = {proceedings of Dependability and Complex Systems DepCoS},
Date-Added = {2012-02-23 18:27:39 +0000},
Date-Modified = {2015-09-28 20:11:27 +0000},
Mnisw2012 = {5},
Title = {{CCL Sim, the simulation environment for concurrent systems}},
Year = {2012}}

@article{Kulakowski2012csmw, 

Author = {Ku{\l}akowski, K.},
Date-Added = {2012-10-27 23:02:48 +0000},
Date-Modified = {2015-09-28 20:17:27 +0000},
Journal = {Automatyka},
Title = {{Concurrent systems modeling with CCL}},
Url = {http://journals.bg.agh.edu.pl/AUTOMAT/2012.16.2/automat.2012.16.2.115.pdf},
Year = {2012},
Bdsk-Url-1 = {http://journals.bg.agh.edu.pl/AUTOMAT/2012.16.2/automat.2012.16.2.115.pdf}}

@incollection{Kulakowski2012mrbw, 

Author = {Ku{\l}akowski, K. and Szmuc, T.},
Booktitle = {Simulation, Modeling, and Programming for Autonomous Robots},
Date-Added = {2015-09-26 17:21:48 +0000},
Date-Modified = {2015-09-26 17:34:10 +0000},
Doi = {10.1007/978-3-642-34327-8_7},
Editor = {Noda, Itsuki and Ando, Noriaki and Brugali, Davide and Kuffner, JamesJ.},
Isbn = {978-3-642-34326-1},
Language = {English},
Pages = {40-51},
Publisher = {Springer Berlin Heidelberg},
Series = {Lecture Notes in Computer Science},
Title = {{Modeling Robot Behavior with CCL}},
Url = {http://dx.doi.org/10.1007/978-3-642-34327-8_7},
Volume = {7628},
Year = {2012},
Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-642-34327-8_7}}
  • user/konrad/research/formalmeths/bibtex/all.txt