Minea, Marius.
Overview
| Works: | 3 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal Methods: Foundations and Applications = 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings /
by:
Minea, Marius.; SpringerLink (Online service); Campos, Sérgio.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods: Foundations and Applications = 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings /
by:
Minea, Marius.; SpringerLink (Online service); Campos, Sérgio.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Verification of infinite-state systems with applications to security
by:
�Tiplea, Ferucio Lauren�tiu; NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security ((2005 March 17-22 :); Clarke, Edmund.; Minea, Marius.
(Language materials, printed)