To Store or Not to Store

Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek

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

Original language	English
Title of host publication	Proceedings of CAV 2003 : Lecture Notes in Computer Science
Publication date	2003
Edition	2725
Pages	433-445
Publication status	Published - 2003
Event	To Store or Not to Store - Duration: 19 May 2010 → …

Conference	To Store or Not to Store
Period	19/05/2010 → …

AUB Link

@inproceedings{32b0b450003c11dab4d5000ea68e967b,

title = "To Store or Not to Store",

author = "Gerd Behrmann and Larsen, {Kim Guldstrand} and Radek Pel{\'a}nek",

note = "ISSN ; 0302-9743 ; To Store or Not to Store ; Conference date: 19-05-2010",

year = "2003",

language = "English",

pages = "433--445",

booktitle = "Proceedings of CAV 2003",

edition = "2725",

}