( en | de | ru )

 

Disambiguation of "Begin, Laurent Van"

Author of the publication

copydeleteadd this publication to your clipboard
Attacking Symbolic State Explosion.

, , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 298-310. Springer, (2001)

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.

Wilfried Beginnen

Ulrike Beginn-Göbel

Uwe Beginn

Christine Beginn

Heinz Beginnen

 

Other publications of authors with the same name

On the verification of membrane systems with dynamic structure., and . Nat. Comput., 9 (4): 795-818 (2010)On the Efficient Computation of the Minimal Coverability Set of Petri Nets., , and . Int. J. Found. Comput. Sci., 21 (2): 135-165 (2010)Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents., , , and . Technique et Science Informatiques, 28 (9): 1107-1142 (2009)Games for Counting Abstractions., , and . AVoCS, volume 128 of Electronic Notes in Theoretical Computer Science, page 69-85. Elsevier, (2004)From Many Places to Few: Automatic Abstraction Refinement for Petri Nets., , and . ICATPN, volume 4546 of Lecture Notes in Computer Science, page 124-143. Springer, (2007)Expand, Enlarge and Check... Made Efficient., , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 394-407. Springer, (2005)A Biologically Inspired Model with Fusion and Clonation of Membranes., and . UC, volume 5204 of Lecture Notes in Computer Science, page 64-82. Springer, (2008)Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS., , and . J. Comput. Syst. Sci., 72 (1): 180-203 (2006)On the omega-language Expressive Power of Extended Petri Nets., , , and . EXPRESS, volume 128 of Electronic Notes in Theoretical Computer Science, page 87-101. Elsevier, (2004)A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations., , and . LATA, volume 5457 of Lecture Notes in Computer Science, page 71-82. Springer, (2009)