( en | de | ru )

 

Disambiguation of "Blom, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
Timed Verification with µCRL.

, , and . Ershov Memorial Conference, volume 2890 of Lecture Notes in Computer Science, page 178-192. Springer, (2003)

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

Skew confluence and the lambda calculus with letrec., and . Ann. Pure Appl. Log., 117 (1-3): 95-168 (2002)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)A Complete Proof System for Nested Term Graphs.. HOA, volume 1074 of Lecture Notes in Computer Science, page 74-89. Springer, (1995)Verifying Parallel Loops with Separation Logic., , and . PLACES, volume 155 of EPTCS, page 47-53. (2014)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)Simulated Time for Testing Railway Interlockings with TTCN-3., , , , and . FATES, volume 3997 of Lecture Notes in Computer Science, page 1-15. Springer, (2005)Skew and omega-Skew Confluence and Abstract Böhm Semantics., and . Processes, Terms and Cycles, volume 3838 of Lecture Notes in Computer Science, page 368-403. Springer, (2005)Distributed Branching Bisimulation Minimization by Inductive Signatures, and . PDMC, volume 14 of EPTCS, page 32-46. (2009)