( en | de | ru )

 

Disambiguation of "Blom, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
Distributed Analysis with mu CRL: A Compendium of Case Studies.

, , , , , , , and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 683-689. Springer, (2007)

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.

Herman Blom

Frank Blom

Katarina Blom

Johanna Blom

Peter Blom

 

Other publications of authors with the same name

Verifying Parallel Loops with Separation Logic., , and . PLACES, volume 155 of EPTCS, page 47-53. (2014)Skew confluence and the lambda calculus with letrec., and . Ann. Pure Appl. Log., 117 (1-3): 95-168 (2002)A Complete Proof System for Nested Term Graphs.. HOA, volume 1074 of Lecture Notes in Computer Science, page 74-89. Springer, (1995)Witnessing the elimination of magic wands., and . Int. J. Softw. Tools Technol. Transf., 17 (6): 757-781 (2015)On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces., , and . ICALP, volume 2719 of Lecture Notes in Computer Science, page 109-118. Springer, (2003)Specification and verification of GPGPU programs., , and . Sci. Comput. Program., (2014)New developments around the mCRL tool set., , , , and . FMICS, volume 80 of Electronic Notes in Theoretical Computer Science, page 284-288. Elsevier, (2003)Distributed Branching Bisimulation Minimization by Inductive Signatures, and . PDMC, volume 14 of EPTCS, page 32-46. (2009)Distributed state space minimization., and . Int. J. Softw. Tools Technol. Transf., 7 (3): 280-291 (2005)Program Correctness by Transformation., , , and . ISoLA (1), volume 11244 of Lecture Notes in Computer Science, page 365-380. Springer, (2018)