Search
1 heading found for Bogomolov, Sergiy
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Bogomolov, Sergiy
Sergiy Bogomolov Bogomolov, Sergiy, 19..-.... |
Personal | Abstraktions-basierte Analyse von Hybrid-Automaten Adaptive moment closure for parameter inference of biochemical reaction networks Formal modeling and analysis of timed systems : 20th International Conference, F ... |