Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Thirty sixth Annual IEEE Symposium on

Logic in Computer Science (LICS 2021)

LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners

Paper: Asynchronous Extensions of HyperLTL (at LICS 2021)

Authors: Laura Bozzelli Adriano Peron César Sánchez

Abstract

No Abstract Available

BibTeX

 @InProceedings{Snchez-AsynchronousExtensi,
 author = 	 {Laura Bozzelli and Adriano Peron and César Sánchez},
 title = 	 {Asynchronous Extensions of HyperLTL},
 booktitle = {Proceedings of the Thirty sixth Annual IEEE Symposium on Logic in Computer Science (LICS 2021)},
 year =	 {2021},
 month =	 {June}, 
 pages = {1--13},
 location = {Rome, Italy}, 
 publisher =	 {IEEE Computer Society Press}
 }
 

Last modified: 2024年10月24日 9:41
Sam Staton

AltStyle によって変換されたページ (->オリジナル) /