CoopnBuilder

MaRDI QIDQ16559swMATHFDO

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

Cited in

(5)

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

This page was built for software: CoopnBuilder