Not checking for closure under stuttering

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

Original language	English
Title of host publication	The Spin Verification System
Publisher	American Mathematical Society
Pages	17-22
Number of pages	6
ISBN (Electronic)	978-1-4704-3990-3
ISBN (Print)	978-0-8218-0680-7
DOIs	https://doi.org/10.1090/dimacs/032/02
State	Published - 1996

Name	DIMACS Series in Discrete Mathematics and Theoretical Computer Science
Publisher	American Mathematical Society
Volume	32
ISSN (Print)	1052-1798

Access to Document

@inproceedings{08cd3cb80c594a9bb05daeb2bf7cf5d3,

title = "Not checking for closure under stuttering",

author = "Holzmann, {Gerard J.} and Orna Kupferman",

year = "1996",

doi = "10.1090/dimacs/032/02",

language = "אנגלית",

isbn = "978-0-8218-0680-7",

series = "DIMACS Series in Discrete Mathematics and Theoretical Computer Science",

publisher = "American Mathematical Society",

pages = "17--22",

booktitle = "The Spin Verification System",

address = "ארצות הברית",

}

TY - GEN

T1 - Not checking for closure under stuttering

AU - Holzmann, Gerard J.

AU - Kupferman, Orna

PY - 1996

Y1 - 1996

U2 - 10.1090/dimacs/032/02

DO - 10.1090/dimacs/032/02

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

SN - 978-0-8218-0680-7

T3 - DIMACS Series in Discrete Mathematics and Theoretical Computer Science

SP - 17

EP - 22

BT - The Spin Verification System

PB - American Mathematical Society

ER -