- Tytuł:
- Model checking processes specified in join-calculus algebra
- Autorzy:
-
Maludziński, S.
Dobrowolski, G. - Data publikacji:
- 2014
- Słowa kluczowe:
-
join-calculus
model checking
formal methods
automatic software verification - Pokaż więcej
- Dostawca treści:
- BazTech