@inproceedings{BDS2013,
 address = {Aachen},
 author = {Luboš Brim and Vilém Děd and David Šafránek},
 booktitle = {CEUR Workshop Proceedings},
 howpublished = {elektronická verze "online"},
 keywords = {Qualitative modelling; Petri nets; Systems biology; Photosystem II; Model checking},
 language = {eng},
 location = {Aachen},
 pages = {17-29},
 publisher = {Neuveden},
 title = {Qualitative modelling and analysis of Photosystem II},
 url = {http://ceur-ws.org/Vol-988/paper3.pdf},
 year = {2013}
}