Springer International Publishing AG Tools And Algorithms For The Construction And Analysis Of Systems : 29th International Conference, Tacas 2023, Held As Part Of The European Joint Conferences On Theory And Practice Of Software, Etaps

Springer International Publishing AG Analysis Of The Mpeg-1 Layer Iii (Mp3) Algorithm Using Matlab

Springer Nature Switzerland AG Tools And Algorithms For The Construction And Analysis Of Systems : 28th International Conference, Tacas 2022, Held As Part Of The European Joint Conferences On Theory And Practice Of Software, Etaps

Springer Nature Switzerland AG Tools And Algorithms For The Construction And Analysis Of Systems : 27th International Conference, Tacas 2021, Held As Part Of The European Joint Conferences On Theory And Practice Of Software, Etaps

Springer Nature Switzerland AG Tools And Algorithms For The Construction And Analysis Of Systems : 25 Years Of Tacas: Toolympics, Held As Part Of Etaps 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part Iii

Springer International Publishing AG Frontiers Of Combining Systems : 11th International Symposium, Frocos 2017, Brasilia, Brazil, September 27-29, 2017, Proceedings

Springer International Publishing AG Secure It Systems : 29th Nordic Conference, Nordsec 2024 Karlstad, Sweden, November 6–7, 2024 Proceedings