Concepedia

Miroslav Gavrilov

MG

Statistics

Publications

1

Citations

32

H-Index

1

Active since

2018

Affiliations

University of California, Santa Barbara(Current)

Miroslav Gavrilov is an author at University of California, Santa Barbara specializing in constraint satisfaction, finite state machine modeling, and symbolic model checking.

Publications per year

2018–2018

1

Publications

1