Local Termination: theory and practice

J. Endrullis, R.C. de Vrijer, J. Waldmann

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

160 Downloads (Pure)

Original language	English
Journal	Logical Methods in Computer Science
Volume	6
Issue number	3
DOIs	https://doi.org/10.2168/LMCS-6(3:20)2010
Publication status	Published - 2010

Access to Document

@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",

}