Authors
Authors
  • A
  • B
  • C
  • D
  • E
  • F
  • G
  • H
  • I
  • J
  • K
  • L
  • M
  • N
  • O
  • P
  • Q
  • R
  • S
  • T
  • U
  • V
  • W
  • X
  • Y
  • Z

Author: Ahmed Bouajjani

  • Networked Systems: Third International Conference, Netys 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers (Lecture Notes In Computer Science)

    Networked Systems: Third International ...

  • Automated Technology For Verification And Analysis: 8th International Symposium, Atva 2010, Singapore, September 21-24, 2010, Proceedings (Lecture ... / Programming And Software Engineering)

    Automated Technology For Verification ...

  • Automated Technology For Verification And Analysis: 8th International Symposium, Atva 2010, Singapore, September 21-24, 2010, Proceedings (Lecture Notes In Computer Science)

    Automated Technology For Verification ...

  • Formal Techniques For Distributed Objects, Components, And Systems

    Formal Techniques For Distributed ...

  • Verification, Model Checking, And Abstract Interpretation

    Verification, Model Checking, And ...

Page 1 of 1  1

Genre

  • Animals
  • Architecture
  • Art
  • Biography
  • Business
  • Cinema
  • Cookbooks
  • Culture
  • Design
  • Drawing
  • Economics
  • Encyclopedia and Dictionary
  • Family and Friendship
  • Fitness
  • Gambling
  • Games
  • Hardware
  • Healthcare
  • History
  • Hobbies
  • Information Technologies
  • Languages
  • Martial Arts
  • Medicine
  • Military
  • Music
  • Novels
  • Other
  • Personality
  • Photo
  • Poetry
  • Politics and Sociology
  • Programming
  • Relationships
  • Religion
  • Science
  • Astronomy
  • Biology
  • Chemistry
  • Cryptography
  • Engineering and Technology
  • Mathematics
  • Philosophy
  • Physics
  • Psychology
  • Security
  • Sexuality
  • Software
  • Sport
  • Travel
  • Web Development

Language

  • English
  • French
  • German
  • Italian
  • Spanish
  • Contacts
  • Privacy Policy
  • DMCA Policy