Some OPAL libraries remain closed or are operating at reduced service levels. Materials from those libraries may not be requestable; requested items may take longer to arrive. Note that pickup procedures may differ between libraries. Please contact your library for new procedures, specific requests, or other assistance.
Your session will expire automatically in 0 seconds.
Rv Conference 1st 2010 San Giljan Malta : Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings / Howard Barringer [and others] (eds.).
Rv Conference 2nd 2011 San Francisco Calif : Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / Sarfraz Khurshid, Koushik Sen (eds.).
Rv Conference 3rd 2012 Istanbul Turkey : Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers / Shaz Qadeer, Serdar Tasiran (eds.).
Rv Conference 4th 2013 Rennes France : Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings / Axel Legay, Saddek Bensalem (eds.).
Rv Conference 5th 2014 Toronto Ontario : Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / Borzoo Bonakdarpour, Scott A. Smolka (eds.).
Rv Conference 6th 2015 Vienna Austria : Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings / Ezio Bartocci, Rupak Majumdar (eds.).
Rv Conference 16th 2016 Madrid Spain : Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings / Ylies Falcone, Cesar Sanchez (eds.).
Rv Conference 17th 2017 Seattle Wash : Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings / Shuvendu Lahiri, Giles Reger (eds.).
Rv Conference 18th 2018 Limassol Cyprus : Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings / Christian Colombo, Martin Leucker (eds.).
Rv Conference 19th 2019 Porto Portugal : Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings / Bernd Finkbeiner, Leonardo Mariani (eds.).