A programming environment for reactive and concurrent systems using Petri nets and temporal logic

RDF Data Original Site

A programming environment for reactive and concurrent systems using Petri nets and temporal logic

License: In Copyright

People: 内平, 直志内平直志
Time: 1997
Owner Organization: NDL Digital Collections

Last Updated:

Uploaded: 2020-12-17