Parsing in ISBES

E.A. Boiten

doi:10.1007/BFb0039724

Parsing in ISBES

E.A. Boiten

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

Original language	English
Title of host publication	Formal Methods in Programming and their Applications (Proceedings International Conference, Academgorodok, Novosibirsk, Rusia, June 28- JUly 2, 1993)
Editors	D. Bjørner, M. Broy, I.V. Pottosin
Place of Publication	Berlin
Publisher	Springer
Pages	423-433
ISBN (Print)	3-540-57316-X
DOIs	https://doi.org/10.1007/BFb0039724
Publication status	Published - 1993

Publication series

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

Access to Document

10.1007/BFb0039724

Cite this

@inproceedings{f59836348bbe49528d0579963857c25c,

title = "Parsing in ISBES",

author = "E.A. Boiten",

year = "1993",

doi = "10.1007/BFb0039724",

language = "English",

isbn = "3-540-57316-X",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "423--433",

editor = "D. Bj{\o}rner and M. Broy and I.V. Pottosin",

booktitle = "Formal Methods in Programming and their Applications (Proceedings International Conference, Academgorodok, Novosibirsk, Rusia, June 28- JUly 2, 1993)",

address = "Germany",

}

Parsing in ISBES. / Boiten, E.A.
Formal Methods in Programming and their Applications (Proceedings International Conference, Academgorodok, Novosibirsk, Rusia, June 28- JUly 2, 1993). ed. / D. Bjørner; M. Broy; I.V. Pottosin. Berlin: Springer, 1993. p. 423-433 (Lecture Notes in Computer Science; Vol. 735).

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

TY - GEN

T1 - Parsing in ISBES

AU - Boiten, E.A.

PY - 1993

Y1 - 1993

U2 - 10.1007/BFb0039724

DO - 10.1007/BFb0039724

M3 - Conference contribution

SN - 3-540-57316-X

T3 - Lecture Notes in Computer Science

SP - 423

EP - 433

BT - Formal Methods in Programming and their Applications (Proceedings International Conference, Academgorodok, Novosibirsk, Rusia, June 28- JUly 2, 1993)

A2 - Bjørner, D.

A2 - Broy, M.

A2 - Pottosin, I.V.

PB - Springer

CY - Berlin

ER -