Local Termination: theory and practice

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
JournalLogical Methods in Computer Science
Volume6
Issue number3
DOIs
Publication statusPublished - 2010

Cite this

@article{c7b7b89620344aadacb9d8009bf45ca7,
title = "Local Termination: theory and practice",
author = "J. Endrullis and {de Vrijer}, R.C. and J. Waldmann",
year = "2010",
doi = "10.2168/LMCS-6(3:20)2010",
language = "English",
volume = "6",
journal = "Logical Methods in Computer Science",
issn = "1860-5974",
publisher = "Technischen Universitat Braunschweig",
number = "3",

}

Local Termination: theory and practice. / Endrullis, J.; de Vrijer, R.C.; Waldmann, J.

In: Logical Methods in Computer Science, Vol. 6, No. 3, 2010.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Local Termination: theory and practice

AU - Endrullis, J.

AU - de Vrijer, R.C.

AU - Waldmann, J.

PY - 2010

Y1 - 2010

U2 - 10.2168/LMCS-6(3:20)2010

DO - 10.2168/LMCS-6(3:20)2010

M3 - Article

VL - 6

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

SN - 1860-5974

IS - 3

ER -