Další formáty:
BibTeX
LaTeX
RIS
@misc{992005,
author = {Hliněný, Petr and Gajarský, Jakub},
keywords = {MSO model checking; tree-depth; shrub-depth},
title = {Testing Graph MSO Properties: A Fresh View},
url = {http://gtatgt.gatech.edu/},
year = {2012}
}
TY - SLIDE
ID - 992005
AU - Hliněný, Petr - Gajarský, Jakub
PY - 2012
TI - Testing Graph MSO Properties: A Fresh View
KW - MSO model checking
KW - tree-depth
KW - shrub-depth
UR - http://gtatgt.gatech.edu/
ER -
HLINĚNÝ, Petr a Jakub GAJARSKÝ. \textit{Testing Graph MSO Properties: A Fresh View}. 2012.
|
