( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Refinement of Trace Abstraction for Real-Time Programs.

, , и . RP, том 10506 из Lecture Notes in Computer Science, стр. 42-58. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Peter Jensen

Peter Jensen

Peter Jensen

Peter Jensen

Peter Jensen

 

Другие публикации лиц с тем же именем

Faster Pushdown Reachability Analysis with Applications in Network Verification., , , , , и . ATVA, том 12971 из Lecture Notes in Computer Science, стр. 170-186. Springer, (2021)Elimination of Detached Regions in Dependency Graph Verification., , , и . SPIN, том 13872 из Lecture Notes in Computer Science, стр. 163-179. Springer, (2023)Refinement of Trace Abstraction for Real-Time Programs., , и . RP, том 10506 из Lecture Notes in Computer Science, стр. 42-58. Springer, (2017)PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems., , , и . ATVA, том 13505 из Lecture Notes in Computer Science, стр. 225-230. Springer, (2022)Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control., , , и . FMICS, том 14290 из Lecture Notes in Computer Science, стр. 113-130. Springer, (2023)Presentation of the 9th Edition of the Model Checking Contest., , , , , , , , , и 9 other автор(ы). TACAS (3), том 11429 из Lecture Notes in Computer Science, стр. 50-68. Springer, (2019)Methods for Efficient Unfolding of Colored Petri Nets., , , , и . Fundam. Informaticae, 189 (3-4): 297-320 (2022)Simplification of CTL Formulae for Efficient Model Checking of Petri Nets., , , , и . Petri Nets, том 10877 из Lecture Notes in Computer Science, стр. 143-163. Springer, (2018)Approximating Euclidean by Imprecise Markov Decision Processes., , , , и . ISoLA (1), том 12476 из Lecture Notes in Computer Science, стр. 275-289. Springer, (2020)STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego., , , , , и . ATVA, том 13505 из Lecture Notes in Computer Science, стр. 327-333. Springer, (2022)