Citation Impact
Citing Papers
A survey of QoS architectures
1998
Petri nets: Properties, analysis and applications
1989 Standout
QoS-aware middleware for Web services composition
2004 Standout
Modeling and Verification of Communication Protocols in Sara: The X.21 Interface
1980
Coronal topography of human auditory evoked responses
1974
The N1 Wave of the Human Electric and Magnetic Response to Sound: A Review and an Analysis of the Component Structure
1987 Standout
Automatic verification of finite-state concurrent systems using temporal logic specifications
1986 Standout
Modeling and analysis of communication and cooperation protocols using petri net based models
1982
A Source Analysis of the Late Human Auditory Evoked Potentials
1989 Standout
Towards Analyzing and Synthesizing Protocols
1980
Works of André Danthine being referenced
Protocol Representation with Finite-State Models
1980
Étude Du Rapport Signal/Bruit Des Potentiels Évoqués Moyens Électroencéphalographiques Et Applications À La Quantification De Leur Symétrie
1971
The OSI 95 Connection-Mode Transport Service: The Enhanced QoS
1992