Search the dblp DataBase
William G. Wood :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
William G. Wood Temporal Logic Case Study. [Citation Graph (0, 0)][DBLP ] Automatic Verification Methods for Finite State Systems, 1989, pp:257-263 [Conf ] Alan W. Brown , David J. Carney , Paul C. Clements , B. Craig Meyers , Dennis B. Smith , Nelson H. Weiderman , William G. Wood Assessing the Quality of Large, Software-Intensive Systems: A Case Study. [Citation Graph (0, 0)][DBLP ] ESEC, 1995, pp:384-404 [Conf ] William G. Wood A Specification of the Cat and Mouse Problem. [Citation Graph (0, 0)][DBLP ] REX Workshop, 1991, pp:676-686 [Conf ] William G. Wood Government product lines. [Citation Graph (0, 0)][DBLP ] SPLC, 2000, pp:183-192 [Conf ] Search in 0.001secs, Finished in 0.001secs