On Memory-Block Traversal Problems in Model-Checking Timed Systems

F. Larsson; P. Pettersson; W. Yi

On Memory-Block Traversal Problems in Model-Checking Timed Systems

F. Larsson, P. Pettersson, W. Yi

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : Lecture Notes in Computer Science
Editors	Graf, S. : Schwartzbahn, M. (eds.)
Publisher	IEEE Computer Society Press
Publication date	2000
Edition	1785
Pages	127-141
ISBN (Print)	3540672826
Publication status	Published - 2000
Event	On Memory-Block Traversal Problems in Model-Checking Timed Systems - Duration: 19 May 2010 → …

Conference

Conference	On Memory-Block Traversal Problems in Model-Checking Timed Systems
Period	19/05/2010 → …

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Larsson, F., Pettersson, P., & Yi, W. (2000). On Memory-Block Traversal Problems in Model-Checking Timed Systems. In Graf, S. : Schwartzbahn, M. (eds.) (Ed.), Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000: Lecture Notes in Computer Science (1785 ed., pp. 127-141). IEEE Computer Society Press.

Larsson, F. ; Pettersson, P. ; Yi, W. / On Memory-Block Traversal Problems in Model-Checking Timed Systems. Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000: Lecture Notes in Computer Science. editor / Graf, S. : Schwartzbahn, M. (eds.). 1785. ed. IEEE Computer Society Press, 2000. pp. 127-141

@inproceedings{f97c8a10003b11dab4d5000ea68e967b,

title = "On Memory-Block Traversal Problems in Model-Checking Timed Systems",

author = "F. Larsson and P. Pettersson and W. Yi",

note = "ISSN ; 0302-9743; On Memory-Block Traversal Problems in Model-Checking Timed Systems ; Conference date: 19-05-2010",

year = "2000",

language = "English",

isbn = "3540672826",

pages = "127--141",

editor = "{Graf, S. : Schwartzbahn, M. (eds.)}",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000",

publisher = "IEEE Computer Society Press",

address = "United States",

edition = "1785",

}

Larsson, F, Pettersson, P & Yi, W 2000, On Memory-Block Traversal Problems in Model-Checking Timed Systems. in Graf, S. : Schwartzbahn, M. (eds.) (ed.), Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000: Lecture Notes in Computer Science. 1785 edn, IEEE Computer Society Press, pp. 127-141, On Memory-Block Traversal Problems in Model-Checking Timed Systems, 19/05/2010.

On Memory-Block Traversal Problems in Model-Checking Timed Systems. / Larsson, F.; Pettersson, P.; Yi, W.
Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000: Lecture Notes in Computer Science. ed. / Graf, S. : Schwartzbahn, M. (eds.). 1785. ed. IEEE Computer Society Press, 2000. p. 127-141.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

TY - GEN

T1 - On Memory-Block Traversal Problems in Model-Checking Timed Systems

AU - Larsson, F.

AU - Pettersson, P.

AU - Yi, W.

N1 - ISSN ; 0302-9743

PY - 2000

Y1 - 2000

M3 - Article in proceeding

SN - 3540672826

SP - 127

EP - 141

BT - Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000

A2 - Graf, S. : Schwartzbahn, M. (eds.), null

PB - IEEE Computer Society Press

T2 - On Memory-Block Traversal Problems in Model-Checking Timed Systems

Y2 - 19 May 2010

ER -

Larsson F, Pettersson P, Yi W. On Memory-Block Traversal Problems in Model-Checking Timed Systems. In Graf, S. : Schwartzbahn, M. (eds.), editor, Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000: Lecture Notes in Computer Science. 1785 ed. IEEE Computer Society Press. 2000. p. 127-141