Pages that link to "Item:Q2493589"
From MaRDI portal
The following pages link to Automated technology for verification and analysis. Third international symposium, ATVA 2005, Taipei, Taiwan, October 4--7, 2005. Proceedings. (Q2493589):
Displaying 5 items.
- Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15--18, 2013. Proceedings (Q363484) (← links)
- Automated technology for verification and analysis. 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11--14, 2011. Proceedings (Q716577) (← links)
- Reachability problems on reliable and lossy queue automata (Q825976) (← links)
- Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20--23, 2008. Proceedings (Q949001) (← links)
- (Q3552231) (← links)