Další formáty:
BibTeX
LaTeX
RIS
@misc{1314373, author = {Šafránek, David}, keywords = {hybrid systems; systems biology; formal methods}, language = {eng}, publisher = {Third International Workshop on Hybrid Systems Biology (HSB 2014)}, title = {PC Member of HSB 2014}, url = {http://hsb2014.imag.fr/#pc}, year = {2014} }
TY - GEN ID - 1314373 AU - Šafránek, David PY - 2014 TI - PC Member of HSB 2014 PB - Third International Workshop on Hybrid Systems Biology (HSB 2014) KW - hybrid systems KW - systems biology KW - formal methods UR - http://hsb2014.imag.fr/#pc N2 - HSB 2014 will be a two-day satellite workshop of CAV 2014, Conference on Computer-aided Verification, the 26th International which is part of the Vienna Summer of Logic. ER -
ŠAFRÁNEK, David. \textit{PC Member of HSB 2014}. Third International Workshop on Hybrid Systems Biology (HSB 2014), 2014.
|