Previous
Next
Journal
- lecture notes in computer science44
- automated technology for verification and analysis : 6th international symposium, atva 2008, seoul, korea, october 20-23, 2008. proceedings36
- ieee transactions on automatic control12
- formal methods in system design11
- theoretical computer science9
- international journal on software tools for technology transfer8
- formal methods in system design: an international journal5
- library hi tech5
- electronic notes in theoretical computer science4