Practical Approach To Modelling And Verification Of Concurrent Systems With ALVIS.

Marcin Szpyrka, Piotr Matyasik, Rafal Mrowka

Browse the full ECMS paper archive.