Další formáty:
BibTeX
LaTeX
RIS
@book{230333, author = {Stříbrná, Jitka}, address = {Brno}, keywords = {basic process algebra; weak bisimulation; approximants; lower and upper bound}, language = {eng}, location = {Brno}, publisher = {Fakulta informatiky Masarykovy university}, title = {Approximating Weak Bisimulation on Basic Process Algebras}, url = {http://www.fi.muni.cz/informatics/reports}, year = {1999} }
TY - BOOK ID - 230333 AU - Stříbrná, Jitka PY - 1999 TI - Approximating Weak Bisimulation on Basic Process Algebras VL - FI MU Report Series FIMU-RS-99-05 PB - Fakulta informatiky Masarykovy university CY - Brno KW - basic process algebra KW - weak bisimulation KW - approximants KW - lower and upper bound UR - http://www.fi.muni.cz/informatics/reports ER -
STŘÍBRNÁ, Jitka. \textit{Approximating Weak Bisimulation on Basic Process Algebras}. Brno: Fakulta informatiky Masarykovy university, 1999, 18 s. FI MU Report Series FIMU-RS-99-05.
|