Author of the publication

Stochastic Net Model for Self-Stability Measures of Fault Tolerant Clock Synchronization.

, , and . PNPM, page 104-110. IEEE Computer Society, (1987)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A High-Level Petri Net for a Subset of FGHC., and . SEKE, page 260-266. Knowledge Systems Institute, (1990)Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs., , and . FJCC, page 1072-1081. IEEE Computer Society, (1986)Efficient Matrix Multiplications on a Concurrent Data-Loading Array Processor., and . ICPP, page 90-94. IEEE Computer Society, (1983)Protocol Specification Design Using an Object-Based Petri Net Formalism., , and . International Journal of Software Engineering and Knowledge Engineering, 9 (1): 97-125 (1999)A Topological Approach to the Stability of Time-Varying and Nonlinear Networks. University of Illinois Urbana-Champaign, USA, (1966)A new compositional method for condensed state-space verification., , and . HASE, page 104-111. IEEE Computer Society, (1996)A Timed Petri Net Model and Simulation of a Dataflow Computer., , and . PNPM, page 56-63. IEEE Computer Society, (1985)Articulability of two consecutive morae in Japanese speech production: evidence from sound exchange errors in spontaneous speech., and . ICSLP, ISCA, (1998)Stepwise Refinements of Transitions and Places., and . Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, volume 52 of Informatik-Fachberichte, page 136-141. Springer, (1981)A ß-distributed stochastic petri net model for software project time/cost management., and . J. Syst. Softw., 26 (2): 149-165 (1994)