( en | de | ru )

 

Disambiguation of "Bengtsson, Johan"

Author of the publication

copydeleteadd this publication to your clipboard
Uppaal --- a Tool Suite for Automatic Verification of Real--Time Systems

, , , , and . Proc.\ of Workshop on Verification and Control of Hybrid Systems III, 1066, page 232--243. Springer, (October 1995)

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. You can also use the button next to the name to display some publications already assigned to the person.

Tomas Bengtsson

Wolfgang Bengtsson

Luiza Bengtsson

Jerker Bengtsson

Johan Waern

 

Other publications of authors with the same name

UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems., , , , and . Hybrid Systems, volume 1066 of Lecture Notes in Computer Science, page 232-243. Springer, (1995)Verification of an Audio Protocol with Bus Collision Using UPPAAL., , , , , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 244-256. Springer, (1996)UPPAAL in 1995., , , , and . TACAS, volume 1055 of Lecture Notes in Computer Science, page 431-434. Springer, (1996)Automated verification of an audio-control protocol using UPPAAL., , , , , , and . J. Log. Algebraic Methods Program., (2002)Modeling of HCCI engine combustion for control analysis., , and . CDC, page 1682-1687. IEEE, (2004)On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata., and . ICFEM, volume 2885 of Lecture Notes in Computer Science, page 491-503. Springer, (2003)Magnets for low Emittance Rings: An Overview., and . (November 2021)Timed Automata: Semantics, Algorithms and Tools., and . Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, page 87-124. Springer, (2003)Control of homogeneous charge compression ignition (HCCI) engine dynamics., , , , and . ACC, page 4048-4053. IEEE, (2004)Partial Order Reductions for Timed Systems., , , and . CONCUR, volume 1466 of Lecture Notes in Computer Science, page 485-500. Springer, (1998)