Concepedia

Author

Adnan Sherif

University of York

Also Known As

Adnan Sherif

7

Publications

158

Citations

5

H-Index

0

Concepts

All Affiliations

University of York
AS

About

Adnan Sherif is an author at University of York.

Adnan Sherif

×

1

Publications

47

Citations

1

H-Index

YearCitations

A process algebraic framework for specification and validation of real-time systems

Adnan Sherif, Ana Cavalcanti, He Jifeng,

Formal Aspects of Computing

2009

47

Page 1