Tau-Equivalences and Refinement for Petri Nets Based Design (English)
Free access
- New search for: Tarasyuk, Igor V.
- New search for: Tarasyuk, Igor V.
- New search for: Russian Academy of Sciences
2000
- Paper / Electronic Resource
-
Title:Tau-Equivalences and Refinement for Petri Nets Based Design
-
Contributors:Tarasyuk, Igor V. ( author ) / Russian Academy of Sciences
-
Publication date:2000-01-01
-
Type of media:Paper
-
Type of material:Electronic Resource
-
Language:English
- New search for: 004
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
DDC: 004 -
Source: