Previous
Next
Journal
- lecture notes in computer science20
- formal techniques for distributed objects, components, and systems : 35th ifip wg 6.1 international conference, forte 2015, held as part of the 10th international federated conference on distributed computing techniques, discotec 2015, grenoble, france, june 2-4, 2015, proceedings15
- ieee transactions on automatic control9
- international journal on software tools for technology transfer8
- formal methods in system design6
- proceedings of the acm on programming languages6
- ifac-papersonline4
- formal methods in system design: an international journal3
- theoretical computer science3