Skip to content

Opening…Still opening…

Home Browse Support

Home Browse Support Search

Genres

Fiction History Science Philosophy

Loading results for Muhammad Atif

Home Search Library

Home Browse Support

Home Browse Support Search

Genres

Fiction History Science Philosophy

1 work shown

Showing books by Muhammad Atif

Author detected

MA

Muhammad Atif

1+ works in the catalogue

Browse top works

Journals & papers

Understanding Behaviour of Distributed Systems Using mCRL2 / Muhammad Atif, Jan Friso Groote

Muhammad Atif; Jan Friso Groote

EtoBox

Keep. Turning.

Built for readers, not algorithms.

360M+ records catalogued from open libraries. 135M+ books and journals are ready now; 201M documents are available on first open.

Browse

Fiction
History
Science
All categories
Entire catalogue
By use case

Account

Library
Settings
Sign In

Support

Support EtoBox
About
Help
Privacy
Terms
Copyright

Topical catalogues

Academic research
University course material
K-12 curriculum
Self-directed learning
Professional certification
Clinical practice reference
Legal practice reference
Engineering and technical reference
Compliance and standards
Government and institutional
Creative reference
Entertainment reading
Children's development
Religious practice
Collector and rare
General catalogue
All catalogues

© 2026 EtoBox