Transition system specification in stalk format with bisimulation as a congruence

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings 11th Annual Symposium on Theoretical Aspects of Computer Science (STACS 94, Caen, France, February 24-26, 1994)
Redacteuren	P. Enjalbert, E.W. Mayr, K.W. Wagner
Uitgeverij	Springer
Pagina's	569-580
ISBN van geprinte versie	3-540-57785-8
Status	Gepubliceerd - 1994

Naam	Lecture Notes in Computer Science
Volume	775
ISSN van geprinte versie	0302-9743

Citeer dit

Oostrom, van, V., & Vink, de, E. P. (1994). Transition system specification in stalk format with bisimulation as a congruence. In P. Enjalbert, E. W. Mayr, & K. W. Wagner (editors), Proceedings 11th Annual Symposium on Theoretical Aspects of Computer Science (STACS 94, Caen, France, February 24-26, 1994) (blz. 569-580). (Lecture Notes in Computer Science; Vol. 775). Springer.

@inproceedings{8377b61b76d5460cb42ad56eb4e96b65,

title = "Transition system specification in stalk format with bisimulation as a congruence",

author = "\{Oostrom, van\}, V. and \{Vink, de\}, E.P.",

year = "1994",

language = "English",

isbn = "3-540-57785-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "569--580",

editor = "P. Enjalbert and E.W. Mayr and K.W. Wagner",

booktitle = "Proceedings 11th Annual Symposium on Theoretical Aspects of Computer Science (STACS 94, Caen, France, February 24-26, 1994)",

address = "Germany",

}

Transition system specification in stalk format with bisimulation as a congruence. / Oostrom, van, V.; Vink, de, E.P.
Proceedings 11th Annual Symposium on Theoretical Aspects of Computer Science (STACS 94, Caen, France, February 24-26, 1994). reds. / P. Enjalbert; E.W. Mayr; K.W. Wagner. Springer, 1994. blz. 569-580 (Lecture Notes in Computer Science; Vol. 775).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Transition system specification in stalk format with bisimulation as a congruence

AU - Oostrom, van, V.

AU - Vink, de, E.P.

PY - 1994

Y1 - 1994

M3 - Conference contribution

SN - 3-540-57785-8

T3 - Lecture Notes in Computer Science

SP - 569

EP - 580

BT - Proceedings 11th Annual Symposium on Theoretical Aspects of Computer Science (STACS 94, Caen, France, February 24-26, 1994)

A2 - Enjalbert, P.

A2 - Mayr, E.W.

A2 - Wagner, K.W.

PB - Springer

ER -