CoopnBuilder

swMATH4383MaRDI QIDQ16559FDOQ16559

Author name not available (Why is that?)

Official website: http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/db/coopnbuilder.html

Cited In (4)

• A formal semantics for sql
• A verification algorithm for inheritance hierarchies in object-oriented databases
• Task-based conceptual graphs as a basis for automating software development
• High-level Petri net model checking with AlPiNA

This page was built for software: CoopnBuilder