@inproceedings{BBH14Input,
 author = {Jiří Barnat and Petr Bauch and Vojtěch Havel},
 booktitle = {Parallel, Distributed and Network-Based Processing (PDP), 2014
22nd Euromicro International Conference on},
 doi = {10.1109/PDP.2014.44},
 issn = {1066-6192},
 keywords = {computability;parallel programming;program verification;temporal
logic;LTL model checking;explicit approach;input variables;linear
temporal logic;noncanonical representations;parallel program model
checking;parallel program verification;quantified bit-vector
formulae;quantifier-free satisfiability;state matching;state space
representation;state space searching;symbolic
approach;Concrete;Educational institutions;Input variables;Model
checking;Protocols;Scalability;Standards;bit-vector
theory;concurrency verification;ltl model checking;satisfiability
modulo theories, divine},
 month = {Feb},
 pages = {756-759},
 title = {{Model Checking Parallel Programs with Inputs}},
 year = {2014}
}