Previous
Next
Journal
- ieee transactions on automatic control12
- formal methods in system design11
- theoretical computer science9
- international journal on software tools for technology transfer8
- electronic notes in theoretical computer science6
- formal methods in system design: an international journal5
- ifac-papersonline4
- journal of computer and system sciences4
- computer speech & language3