Time-Abstracted Bisimulation: Implicit Specifications and Decidability

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

Originalsprog	Engelsk
Tidsskrift	Information and Computation
Vol/bind	No. 2
Sider (fra-til)	75-101
ISSN	0890-5401
Status	Udgivet - 1997

AUB Link

@article{b1ad3260809211db8b97000ea68e967b,

title = "Time-Abstracted Bisimulation: Implicit Specifications and Decidability",

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

year = "1997",

language = "English",

volume = "No. 2",

pages = "75--101",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Academic Press",

}