| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@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}
}