An Introduction to "Grammar Convergence

R. Lammel; V Zaytsev

doi:10.1007/978-3-642-00255-7_17

An Introduction to "Grammar Convergence

R. Lammel, V Zaytsev

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	246-260
Journal	Lecture Notes in Computer Science
Volume	5423
DOIs	https://doi.org/10.1007/978-3-642-00255-7_17
Publication status	Published - 2009

Bibliographical note

Proceedings title: Proceedings of the Seventh International Conference on Integrated Formal Methods (iFM 2009)
Publisher: Springer-Verlag
Place of publication: Berlin, Heidelberg
Editors: M. Leuschel, H. Wehrheim

Access to Document

10.1007/978-3-642-00255-7_17

Persistent URL (handle)

Copy link address

Cite this

@article{6bbf02a9b29d4f61b64196f303e613cb,

title = "An Introduction to {"}Grammar Convergence",

author = "R. Lammel and V Zaytsev",

note = "Proceedings title: Proceedings of the Seventh International Conference on Integrated Formal Methods (iFM 2009) Publisher: Springer-Verlag Place of publication: Berlin, Heidelberg Editors: M. Leuschel, H. Wehrheim",

year = "2009",

doi = "10.1007/978-3-642-00255-7_17",

language = "English",

volume = "5423",

pages = "246--260",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - An Introduction to "Grammar Convergence

AU - Lammel, R.

AU - Zaytsev, V

N1 - Proceedings title: Proceedings of the Seventh International Conference on Integrated Formal Methods (iFM 2009) Publisher: Springer-Verlag Place of publication: Berlin, Heidelberg Editors: M. Leuschel, H. Wehrheim

PY - 2009

Y1 - 2009

U2 - 10.1007/978-3-642-00255-7_17

DO - 10.1007/978-3-642-00255-7_17

M3 - Article

SN - 0302-9743

VL - 5423

SP - 246

EP - 260

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -