Decidability Problems of a Basic Class of Object Nets

Roxana Dietze, Manfred Kudlek, Olaf Kummer. Decidability Problems of a Basic Class of Object Nets. Fundamenta Informaticae, 79(3-4):295-302, 2007. [doi]

Authors

Roxana Dietze

This author has not been identified. Look up 'Roxana Dietze' in Google

Manfred Kudlek

This author has not been identified. Look up 'Manfred Kudlek' in Google

Olaf Kummer

This author has not been identified. Look up 'Olaf Kummer' in Google