Skip to content

Axel Meckenstock

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

1996–1996

Best venue rank

A

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
1996CIKMUsing Petri nets for rule termination analysis.Detlef Zimmer, Axel Meckenstock, Rainer Unland