JANČAR, Petr and Mojmír KŘETÍNSKÝ. MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings. FI MU Report Series. Brno: FI MU, 1998, vol. 1998, No 06, p. 1-209. |
Other formats:
BibTeX
LaTeX
RIS
@article{228875, author = {Jančar, Petr and Křetínský, Mojmír}, article_location = {Brno}, article_number = {06}, keywords = {Concurrency; infinite-state systems}, language = {eng}, journal = {FI MU Report Series}, title = {MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings}, volume = {1998}, year = {1998} }
TY - JOUR ID - 228875 AU - Jančar, Petr - Křetínský, Mojmír PY - 1998 TI - MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings JF - FI MU Report Series VL - 1998 IS - 06 SP - 1 EP - 1 PB - FI MU KW - Concurrency KW - infinite-state systems ER -
JANČAR, Petr and Mojmír KŘETÍNSKÝ. MFCS´98 Workshop on Concurrency, August\_{}27-29,\_{}1998, Brno, Czech Republic : pre-proceedings. \textit{FI MU Report Series}. Brno: FI MU, 1998, vol.~1998, No~06, p.~1-209.
|