The temporal logic sugar

Ilan Beer; Shoham Ben-David; Cindy Eisner; Dana Fisman; Anna Gringauze; Yoav Rodeh

doi:10.1007/3-540-44585-4_33

The temporal logic sugar

Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh

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

101 Scopus citations

Original language	English
Title of host publication	Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings
Editors	Hubert Comon, Alain Finkel, Gérard Berry
Publisher	Springer Verlag
Pages	363-367
Number of pages	5
ISBN (Print)	3540423451
DOIs	https://doi.org/10.1007/3-540-44585-4_33
State	Published - 1 Jan 2001
Externally published	Yes
Event	13th International Conference on Computer Aided Verification, CAV 2001 - Paris, France Duration: 18 Jul 2001 → 22 Jul 2001

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2102
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	13th International Conference on Computer Aided Verification, CAV 2001
Country/Territory	France
City	Paris
Period	18/07/01 → 22/07/01

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science (all)

Access to Document

10.1007/3-540-44585-4_33

Cite this

Beer, I., Ben-David, S., Eisner, C., Fisman, D., Gringauze, A., & Rodeh, Y. (2001). The temporal logic sugar. In H. Comon, A. Finkel, & G. Berry (Eds.), Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings (pp. 363-367). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2102). Springer Verlag. https://doi.org/10.1007/3-540-44585-4_33

Beer, Ilan ; Ben-David, Shoham ; Eisner, Cindy et al. / The temporal logic sugar. Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. editor / Hubert Comon ; Alain Finkel ; Gérard Berry. Springer Verlag, 2001. pp. 363-367 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{0986b96921d64b47a3ab4bf479d0e359,

title = "The temporal logic sugar",

author = "Ilan Beer and Shoham Ben-David and Cindy Eisner and Dana Fisman and Anna Gringauze and Yoav Rodeh",

year = "2001",

month = jan,

day = "1",

doi = "10.1007/3-540-44585-4_33",

language = "English",

isbn = "3540423451",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "363--367",

editor = "Hubert Comon and Alain Finkel and G{\'e}rard Berry",

booktitle = "Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings",

address = "Germany",

note = "13th International Conference on Computer Aided Verification, CAV 2001 ; Conference date: 18-07-2001 Through 22-07-2001",

}

Beer, I, Ben-David, S, Eisner, C, Fisman, D, Gringauze, A & Rodeh, Y 2001, The temporal logic sugar. in H Comon, A Finkel & G Berry (eds), Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2102, Springer Verlag, pp. 363-367, 13th International Conference on Computer Aided Verification, CAV 2001, Paris, France, 18/07/01. https://doi.org/10.1007/3-540-44585-4_33

The temporal logic sugar. / Beer, Ilan; Ben-David, Shoham; Eisner, Cindy et al.
Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. ed. / Hubert Comon; Alain Finkel; Gérard Berry. Springer Verlag, 2001. p. 363-367 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2102).

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

TY - GEN

T1 - The temporal logic sugar

AU - Beer, Ilan

AU - Ben-David, Shoham

AU - Eisner, Cindy

AU - Fisman, Dana

AU - Gringauze, Anna

AU - Rodeh, Yoav

PY - 2001/1/1

Y1 - 2001/1/1

UR - http://www.scopus.com/inward/record.url?scp=84958756507&partnerID=8YFLogxK

U2 - 10.1007/3-540-44585-4_33

DO - 10.1007/3-540-44585-4_33

M3 - Conference contribution

AN - SCOPUS:84958756507

SN - 3540423451

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 363

EP - 367

BT - Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings

A2 - Comon, Hubert

A2 - Finkel, Alain

A2 - Berry, Gérard

PB - Springer Verlag

T2 - 13th International Conference on Computer Aided Verification, CAV 2001

Y2 - 18 July 2001 through 22 July 2001

ER -

Beer I, Ben-David S, Eisner C, Fisman D, Gringauze A, Rodeh Y. The temporal logic sugar. In Comon H, Finkel A, Berry G, editors, Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. Springer Verlag. 2001. p. 363-367. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-44585-4_33

The temporal logic sugar

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this