Detail publikace

Bisimulation relations in categories of A-labelled Petri nets and the connection of CCS and Petri nets

URBÁŠEK Milan. Bisimulation relations in categories of A-labelled Petri nets and the connection of CCS and Petri nets. Huddersfield, Great Britain: neznámá, 1999.
Typ
výzkumná zpráva
Jazyk
angličtina
Autoři
Urbášek Milan, Ing. (UIVT FEI VUT)
Rok
1999
Strany
77
Vydavatel
neznámá
Místo
Huddersfield, Great Britain, GB
BibTeX
@TECHREPORT{FITPUB6533,
   author = "Milan Urb\'{a}\v{s}ek",
   title = "Bisimulation relations in categories of A-labelled Petri nets and the connection of CCS and Petri nets",
   pages = 77,
   year = 1999,
   location = "Huddersfield, Great Britain, GB",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6533"
}
Nahoru