For the most recent entries see the
Petri Nets Newsletter.
Hasegawa, H.
-
Hasegawa, H.;
Kikuchi, N.;
Ueda, Y.:
Towards a Service Creation and Execution Environment Using High-Level Nets for Advanced Telecommunication Systems.
1991.
-
Hasegawa, H.:
An Application on Specification Verification in Communication Software.
1989.
-
Shibata, K.;
Ueda, Y.;
Yuyama, S.;
Hasegawa, H.:
A Study on Verification of Service Specification in Communication Software Development.
1988.
-
Shibata, K.;
Tanaka, W.;
Hasegawa, H.:
Support System for Specification Phase of Communication Software.
1987.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography