zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Lodaya, Kamal (ed.) et al., Perspectives in concurrency. A Festschrift for P. S. Thiagarajan. Hyderabad: Universities Press; Boca Raton, FL: CRC Press (ISBN 978-1-4398-0943-3/hbk). 356-371 (2009).
MSC:  68Q45 68Q85
BibTeX Cite
Cha, Sungdeok (Steve) (ed.) et al., Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). Lecture Notes in Computer Science 5311, 332-346 (2008).
MSC:  68Q60 68Q42
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication