Transition system specifications with negative premises (Extended abstract)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	CONCUR'90 (Proceedings 1st International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 27-30, 1990)
Editors	J.C.M. Baeten, J.W. Klop
Place of Publication	Berlin
Publisher	Springer
Pages	332-341
ISBN (Print)	3-540-53048-7
Publication status	Published - 1990

Name	Lecture Notes in Computer Science
Volume	458
ISSN (Print)	0302-9743

Cite this

@inproceedings{9ac1d11e1eb94d9a9c4c9626818f7f41,

title = "Transition system specifications with negative premises (Extended abstract)",

author = "J.F. Groote",

year = "1990",

language = "English",

isbn = "3-540-53048-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "332--341",

editor = "J.C.M. Baeten and J.W. Klop",

booktitle = "CONCUR'90 (Proceedings 1st International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 27-30, 1990)",

address = "Germany",

}

Transition system specifications with negative premises (Extended abstract). / Groote, J.F.
CONCUR'90 (Proceedings 1st International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 27-30, 1990). ed. / J.C.M. Baeten; J.W. Klop. Berlin: Springer, 1990. p. 332-341 (Lecture Notes in Computer Science; Vol. 458).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Transition system specifications with negative premises (Extended abstract)

AU - Groote, J.F.

PY - 1990

Y1 - 1990

M3 - Conference contribution

SN - 3-540-53048-7

T3 - Lecture Notes in Computer Science

SP - 332

EP - 341

BT - CONCUR'90 (Proceedings 1st International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 27-30, 1990)

A2 - Baeten, J.C.M.

A2 - Klop, J.W.

PB - Springer

CY - Berlin

ER -