Bohuslav Balcar

BB

17

Publications

527

Citations

13

H-Index

1977

Active since

Bohuslav Balcar is an author at Czech Academy of Sciences, Institute of Mathematics specializing in automated reasoning, formal methods, and engineering.

Publications per year

1977–2006

17

Publications

17