( en | de | ru )

 

Disambiguation of "Steffen, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Safe locking for multi-threaded Java with exceptions.

, , , and . J. Log. Algebraic Methods Program., 81 (3): 257-283 (2012)

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.

Martin Steffen

Martin Steffen

Martin Steffen

Martin Steffen

Martin Steffen

 

Other publications of authors with the same name

Incremental Reasoning for Multiple Inheritance., , , and . IFM, volume 5423 of Lecture Notes in Computer Science, page 215-230. Springer, (2009)Synchronous Closing and Flow Analysis for Model Checking Timed Systems., , and . FMCO, volume 3188 of Lecture Notes in Computer Science, page 292-313. Springer, (2003)Heap-Abstraction for an Object-Oriented Calculus with Thread Classes., , and . CiE, volume 3988 of Lecture Notes in Computer Science, page 1-10. Springer, (2006)A Petri Net Based Analysis of Deadlocks for Active Objects and Futures., , , , , and . FACS, volume 7684 of Lecture Notes in Computer Science, page 110-127. Springer, (2012)Higher-Order Subtyping., and . PROCOMET, volume A-56 of IFIP Transactions, page 511-530. North-Holland, (1994)Rule-Based Consistency Checking of Railway Infrastructure Designs., , and . IFM, volume 9681 of Lecture Notes in Computer Science, page 491-507. Springer, (2016)ABS: A Core Language for Abstract Behavioral Specification., , , , and . FMCO, volume 6957 of Lecture Notes in Computer Science, page 142-164. Springer, (2010)Abstract Interface Behavior of Object-Oriented Languages with Monitors., , and . FMOODS, volume 4037 of Lecture Notes in Computer Science, page 218-232. Springer, (2006)Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations., , , and . FM, volume 9995 of Lecture Notes in Computer Science, page 772-778. (2016)Polarized higher-order subtyping.. University of Erlangen-Nuremberg, Germany, (1999)