For the most recent entries see the
Petri Nets Newsletter
.
Keyword: specification tool
Krämer, Bernd
:
Introducing the GRASPIN Specification Language SEGRAS.
1991.
Antoniazzi, S.
;
Mastretti, M.
:
An Interactive Environment for Hardware/Software System Design at the Specification Level.
1990.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography