The temporal logic sugar

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

99 Scopus citations
Original languageEnglish
Title of host publicationComputer Aided Verification - 13th International Conference, CAV 2001, Proceedings
EditorsHubert Comon, Alain Finkel, Gérard Berry
PublisherSpringer Verlag
Pages363-367
Number of pages5
ISBN (Print)3540423451
DOIs
StatePublished - 1 Jan 2001
Externally publishedYes
Event13th International Conference on Computer Aided Verification, CAV 2001 - Paris, France
Duration: 18 Jul 200122 Jul 2001

Publication series

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

Conference

Conference13th International Conference on Computer Aided Verification, CAV 2001
Country/TerritoryFrance
CityParis
Period18/07/0122/07/01

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science (all)

Cite this