Items where Author is "Walukiewicz, I."Group by: Item Type | No Grouping Number of items: 1. Thiagarajan, P. S. ; Walukiewicz, I. (2002) An expressively complete linear time temporal logic for Mazurkiewicz traces Information and Computation, 179 (2). pp. 230-249. ISSN 0890-5401 |
| Login | Create Account |
![[up]](/style/images/multi_up.png)
Up a level