Home Advanced Search

Advanced Search - Page 1

Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: John Erickson, Stephen Freund, Madanlal Musuvathi (auth.), Shaz Qadeer, Serdar Tasiran (eds.)
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (eds.)
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
  • PDF
  • English
  • Year: 2019
  • Author: Isil Dillig, Serdar Tasiran
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
  • PDF
  • English
  • Year: 2019
  • Author: Isil Dillig, Serdar Tasiran
The (Coming) Age of Thresholding
  • PDF
  • English
  • Year: 1999
  • Author: Stephen A. Erickson (auth.)
Best Practices in Processing and Storage for Hematopoietic Cell Transplantation
  • PDF
  • English
  • Year: 2018
  • Author: Joseph Schwartz,Beth H. Shaz (eds.)
Soviet Military Power and Performance
  • PDF
  • English
  • Year: 1979
  • Author: John Erickson, E. J. Feuchtwanger (eds.)
Road To Berlin 1ST Edition
  • EPUB
  • English
  • Year: 2015
  • Author: Erickson, John
The Soviet High Command: a Military-political History, 1918-1941: A Military Political History, 1918-1941 (Soviet Russian) Military Experience Series
  • PDF
  • English
  • Year: 2001
  • Author: John Erickson
The Road to Berlin: Stalin’s War with Germany
  • EPUB
  • English
  • Year: 2015
  • Author: John Erickson
search