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

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Originalsprog	Engelsk
Titel	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
Redaktører	Graf, S. : Schwartzbahn, M. (eds.)
Forlag	IEEE Computer Society Press
Publikationsdato	2000
Udgave	1785
Sider	127-141
ISBN (Trykt)	3540672826
Status	Udgivet - 2000
Begivenhed	On Memory-Block Traversal Problems in Model-Checking Timed Systems - Varighed: 19 maj 2010 → …

Konference

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

Bibliografisk note

ISSN ; 0302-9743

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

Larsson, F., Pettersson, P., & Yi, W. (2000). On Memory-Block Traversal Problems in Model-Checking Timed Systems. I Graf, S. : Schwartzbahn, M. (eds.) (red.), 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 udg., s. 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. red. / Graf, S. : Schwartzbahn, M. (eds.). 1785. udg. IEEE Computer Society Press, 2000. s. 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. i Graf, S. : Schwartzbahn, M. (eds.) (red.), 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 udg, IEEE Computer Society Press, s. 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. red. / Graf, S. : Schwartzbahn, M. (eds.). 1785. udg. IEEE Computer Society Press, 2000. s. 127-141.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

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. I Graf, S. : Schwartzbahn, M. (eds.), red., 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 udg. IEEE Computer Society Press. 2000. s. 127-141