PICASSO

swMATH36776MaRDI QIDQ52478FDOQ52478

Author name not available (Why is that?)

Cited In (1)

• Ideal Abstractions for Well-Structured Transition Systems

This page was built for software: PICASSO