Lindqvist, Markus

name

• Lindqvist, Markus

Authored works

• Parameterized reachability trees for predicate/transition nets

Works contributed to

• Annual report : For the year 1996
• Efficient algorithms for computing S-invariants for predicate/transition nets

Works about Lindqvist, Markus