Author Info
Name
Affiliation
Papers
WILLIAM RATHJE
University of Puget Sound, Tacoma, WA, USA
1
Collaborators
Citations 
PageRank 
1
3
0.38
Referers 
Referees 
References 
14
18
9
Title
Citations
PageRank
Year
A framework for model checking UDP network programs with Java pathfinder30.382014