Decidalibility of Bisimulation Equivalence between Regular Timed Processes

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	575
ISSN	0302-9743
Status	Udgivet - 1992

AUB Link

@article{19d0c5709c2f11db8ed6000ea68e967b,

title = "Decidalibility of Bisimulation Equivalence between Regular Timed Processes",

author = "Uno Holmer and Larsen, {Kim Guldstrand} and Wang Yi",

year = "1992",

language = "English",

volume = "575",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}