Showing 1 - 4 results of 4 for search 'Tasiran, Serdar', query time: 0.02s
Refine Results
-
1
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Published 2019Other Authors: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Published 2019Other Authors: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Published 2019Other Authors: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
4
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Published 2019Other Authors: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter
Search Tools:
Related Subjects
Artificial intelligence
Software Engineering
Computer modelling & simulation
Computer networking & communications
Computer programming / software development
Computer science
Information technology: general issues
Mathematical theory of computation
Programming & scripting languages: general
Systems analysis & design