Další formáty:
BibTeX
LaTeX
RIS
@article{919361, author = {Černá, Ivana and Haverkort, Boudewijn}, article_location = {Oxford}, article_number = {21}, doi = {http://dx.doi.org/10.1093/logcom/exp001}, keywords = {parallel and distributed computations; formal verification}, language = {eng}, issn = {0955-792X}, journal = {Journal of logic and computation}, title = {Parallel and Distributed Methods in Verification}, volume = {2011}, year = {2011} }
TY - JOUR ID - 919361 AU - Černá, Ivana - Haverkort, Boudewijn PY - 2011 TI - Parallel and Distributed Methods in Verification JF - Journal of logic and computation VL - 2011 IS - 21 SP - 1-3 EP - 1-3 PB - Oxford University Press SN - 0955792X KW - parallel and distributed computations KW - formal verification N2 - The paper introduces the PDMC workhshop series and the key ideas behind the parallelization and distribution of formal verification algorithms. Further, it introduces the selection of papers from the workshop series published in the issue. ER -
ČERNÁ, Ivana a Boudewijn HAVERKORT. Parallel and Distributed Methods in Verification. \textit{Journal of logic and computation}. Oxford: Oxford University Press, 2011, roč.~2011, č.~21, s.~1-3. ISSN~0955-792X. Dostupné z: https://dx.doi.org/10.1093/logcom/exp001.
|