VOLUME 7 | 2002 | NUMBER 2 |
Local Logics for Traces
Pages 259–290
Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX
BibTeX:
@article{JALC-2002-259, author = {Igor Walukiewicz}, title = {Local Logics for Traces}, journal = {Journal of Automata, Languages and Combinatorics}, volume = {7}, number = {2}, pages = {259--290}, year = {2002}, url = {https://doi.org/10.25596/jalc-2002-259}, doi = {10.25596/jalc-2002-259} }