Search Results - Tasiran, Serdar.

  • Showing 1 - 4 results of 4
Refine Results
  1. 1

    Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers by RV (Workshop) Vancouver, B.C.), SpringerLink (Online service)

    Published: Springer, 2007
    Description: 1 online resource (viii, 213 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers
  2. 2

    Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers by RV (Conference) Istanbul, Turkey), SpringerLink (Online service)

    Published: Springer, 2013
    Description: 1 online resource.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers
  3. 3

    Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II by CAV (Conference) New York, N.Y.), SpringerLink (Online service)

    Published: SpringerOpen, 2019
    Description: 1 online resource.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II
  4. 4

    Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I by CAV (Conference) New York, N.Y.), SpringerLink (Online service)

    Published: SpringerOpen, 2019
    Description: 1 online resource.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I

Search Tools: