Extending Z with state transition constraints

Kenji Taguchi, Keijiro Araki

Research output: Contribution to journalConference articlepeer-review

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'Extending Z with state transition constraints'. Together they form a unique fingerprint.