An Introduction to "Grammar Convergence

R. Lammel, V Zaytsev

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)246-260
JournalLecture Notes in Computer Science
Volume5423
DOIs
Publication statusPublished - 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

Cite this

Lammel, R. ; Zaytsev, V. / An Introduction to "Grammar Convergence. In: Lecture Notes in Computer Science. 2009 ; Vol. 5423. pp. 246-260.
@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",

}

An Introduction to "Grammar Convergence. / Lammel, R.; Zaytsev, V.

In: Lecture Notes in Computer Science, Vol. 5423, 2009, p. 246-260.

Research output: Contribution to JournalArticleAcademicpeer-review

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

VL - 5423

SP - 246

EP - 260

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -