Linear time temporal logics over Mazurkiewicz traces

Cite this paper

@inproceedings{Mukund1996LinearTT, title={Linear time temporal logics over Mazurkiewicz traces}, author={Madhavan Mukund and P. S. Thiagarajan}, booktitle={Partial Order Methods in Verification}, year={1996} }