Concepedia

Vladimir Mencl

VM

Statistics

Publications

4

Citations

95

H-Index

4

Active since

2003

Affiliations

Charles University(Current)

Vladimir Mencl is an author at Charles University specializing in computer science, formal methods, and model checking.

ORCID

Publications per year

2003–2006

4

Publications

4