@inproceedings{763157,
 address = {Budapest},
 author = {Jiří Barnat and Luboš Brim and Ivana Černá and Sven Dražan and David Šafránek},
 booktitle = {Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation},
 keywords = {transcriptional networks; model checking; B. subtilis},
 language = {eng},
 location = {Budapest},
 pages = {83-96},
 publisher = {Ivana Černá and Gerald Luettgen},
 title = {From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks},
 year = {2008}
}