DBLP:conf_pts_GrozLPS08

Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz. Modular System Verification by Inference, Testing and Reachability Analysis. In Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa (eds.), Lecture Notes in Computer Science, Volume 5047, Pages 216-233, 2008.

Contact

Roland Groz
Keqin Li
Muzammil Shahbaz

BibTex Reference

@InProceedings{DBLP:conf_pts_GrozLPS08,
   Author = {Groz, Roland and Li, Keqin and Petrenko, Alexandre and Shahbaz, Muzammil},
   Title = {{Modular System Verification by Inference, Testing and       Reachability Analysis}},
   BookTitle = {Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008},
   editor = {Suzuki, Kenji and Higashino, Teruo and Ulrich, Andreas and Hasegawa, Toru},
   Volume = {5047},
   Pages = {216--233},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)