( en | de | ru )

 

Disambiguation of "Begin, Laurent Van"

Author of the publication

copydeleteadd this publication to your clipboard
Covering Sharing Trees: A Compact Data Structure for Parameterized Verification

, , and . (2004)

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

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)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... Made Efficient., , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 394-407. Springer, (2005)Testing Distributed Systems Through Symbolic Model Checking., , , and . FORTE, volume 4574 of Lecture Notes in Computer Science, page 263-279. Springer, (2007)Attacking Symbolic State Explosion., , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 298-310. Springer, (2001)On the Qualitative Analysis of Conformon P Systems., , and . Workshop on Membrane Computing, volume 5391 of Lecture Notes in Computer Science, page 78-94. Springer, (2008)On the Dynamics of PB Systems with Volatile Membranes., and . Workshop on Membrane Computing, volume 4860 of Lecture Notes in Computer Science, page 240-256. Springer, (2007)Comparing the Expressive Power of Well-Structured Transition Systems., , and . CSL, volume 4646 of Lecture Notes in Computer Science, page 99-114. Springer, (2007)On the complexity of partial order trace model checking., , and . Inf. Process. Lett., 106 (3): 120-126 (2008)On the Efficient Computation of the Minimal Coverability Set for Petri Nets., , and . ATVA, volume 4762 of Lecture Notes in Computer Science, page 98-113. Springer, (2007)