Cargando…

Model checking software: 15th international spin workshop, Los Angeles, CA, USA, August 10-12, 2008, proceedings

Detalles Bibliográficos
Autores principales:	Havelund, Klaus, Majumdar, Rupak, Palsberg, Jens
Lenguaje:	eng
Publicado:	Springer 2008
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2756794

Ejemplares similares

Verification, model checking, and abstract interpretation: 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, proceedings
por: Dillig, Isil, et al.
Publicado: (2018)

Model checking software: 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, proceedings
por: Fischer, Bernd, et al.
Publicado: (2015)

Human-computer interaction: 17th international conference, HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015 proceedings, part II
por: Kurosu, Masaaki
Publicado: (2015)

Human-computer interaction: 17th international conference, HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015 proceedings, part III
por: Kurosu, Masaaki
Publicado: (2015)

Human-computer interaction: 17th international conference, HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015 proceedings, part I
por: Kurosu, Masaaki
Publicado: (2015)

Heterogeneous data management, polystores, and analytics for healthcare: VLDB 2019 workshops, Poly and DMAH, Los Angeles, CA, USA, August 30, 2019, revised selected papers
por: Gadepally, Vijay, et al.
Publicado: (2019)

HCI international 2015 - posters' extended abstracts: international conference, HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015 proceedings, part II
por: Stephanidis, Constantine
Publicado: (2015)

NASA formal methods: 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings
por: Havelund, Klaus, et al.
Publicado: (2015)

Model checking software: 26th international symposium, SPIN 2019, Beijing, China, July 15-16, 2019, proceedings
por: Biondi, Fabrizio, et al.
Publicado: (2019)

Social computing and social media: 7th international conference, SCSM 2015, held as part of HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015, proceedings
por: Meiselwitz, Gabriele
Publicado: (2015)

Digital human modeling: 6th international conference, DHM 2015, held as part of HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015, proceedings, part II
por: Duffy, Vincent G
Publicado: (2015)

Cross-cultural design: 7th international conference, CCD 2015, held as part of HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015, proceedings, part II
por: Rau, P L Patrick
Publicado: (2015)

Design, user experience, and usability: 4th international conference, DUXU 2015, held as part of HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015, proceedings, part II
por: Marcus, Aaron
Publicado: (2015)

Design, user experience, and usability: 4th international conference, DUXU 2015, held as part of HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015, proceedings, part III
por: Marcus, Aaron
Publicado: (2015)

Algebraic methodology and software technology: 12th international conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, proceedings
por: Meseguer, José, et al.
Publicado: (2008)

Interactive storytelling: 9th international conference on interactive digital storytelling, ICIDS 2016, Los Angeles, CA, USA, November 15-18, 2016, proceedings
por: Nack, Frank, et al.
Publicado: (2016)

Human aspects of IT for the aged population design for aging: first international conference, ITAP 2015, held as part of HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015 proceedings, part I
por: Zhou, Jia, et al.
Publicado: (2015)

Model checking software: 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, proceedings
por: Gallardo, María del Mar, et al.
Publicado: (2018)

Human aspects of IT for the aged population design for everyday life: first international conference, ITAP 2015, held as part of HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015 proceedings, part II
por: Zhou, Jia, et al.
Publicado: (2015)

CONCUR 2008 - concurrency theory: 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, proceedings
por: van Breugel, Franck, et al.
Publicado: (2008)

Automated technology for verification and analysis: 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, proceedings
por: Lahiri, Shuvendu K, et al.
Publicado: (2018)

Information hiding: 10th international workshop, IH 2008, Santa Barbara, CA, USA, May 19-21, 2008, revised selected papers
por: Solanki, Kaushal, et al.
Publicado: (2008)

Decision and game theory for security: 5th international conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014, proceedings
por: Poovendran, Radha, et al.
Publicado: (2014)

Proceedings of the Topical Workshop on Electronics for Particle Physics: Naxos, Greece 15 - 19 Sep 2008
por: Dho, Evelyne, et al.
Publicado: (2008)

In the August 2008 Issue of Clinics
por: Rocha-e-Silva, Mauricio
Publicado: (2008)

Weltuntergang im August 2008?
Publicado: (2008)

Software challenges to exascale computing: second workshop, SCEC 2018, Delhi, India, December 13-14, 2018, proceedings
por: Majumdar, Amit, et al.
Publicado: (2019)

Universal access in human-computer interaction access to learning, health and well-being: 9th international conference, UAHCI 2015, held as part of HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015, proceedings, part III
por: Antona, Margherita, et al.
Publicado: (2015)

Advances in natural language processing: 6th international conference, GOTAL 2008, Gothenburg, Sweden, August 25-27, 2008, proceedings
por: Ranta, Aarne, et al.
Publicado: (2008)

Advances in Combinatorial Mathematics : Proceedings of the Waterloo Workshop in Computer Algebra 2008
por: Kotsireas, Ilias, et al.
Publicado: (2010)

Summary of CARE-HHH Mini-Workshop on LHC Crab Cavity Validation, 21 August 2008
por: Calaga, R, et al.
Publicado: (2008)

Advances in cryptology - CRYPTO 2014: 34th annual cryptology conference, Santa Barbara, CA, USA, August 17-21, 2014, proceedings, part I
por: Garay, Juan A, et al.
Publicado: (2014)

Advances in cryptology - CRYPTO 2015: 35th annual cryptology conference, Santa Barbara, CA, USA, August 16-20, 2015, proceedings, part II
por: Gennaro, Rosario, et al.
Publicado: (2015)

Advances in cryptology - CRYPTO 2014: 34th annual cryptology conference, Santa Barbara, CA, USA, August 17-21, 2014, proceedings, part II
por: Garay, Juan A, et al.
Publicado: (2014)

Advances in bioinformatics and computational biology: third Brazilian symposium on bioinformatics, BSB 2008, Sao Paulo, Brazil, August 28-30, 2008, proceedings
por: Bazzan, Ana L C, et al.
Publicado: (2008)

Advances in cryptology - CRYPTO 2016: 36th annual international cryptology conference, Santa Barbara, CA, USA, August 14-18, 2016, proceedings, part II
por: Robshaw, Matthew, et al.
Publicado: (2016)

Advances in cryptology - CRYPTO 2019: 39th annual international cryptology conference, Santa Barbara, CA, USA, August 18-22, 2019, proceedings, part II
por: Boldyreva, Alexandra, et al.
Publicado: (2019)

Advances in cryptology - CRYPTO 2019: 39th annual international cryptology conference, Santa Barbara, CA, USA, August 18-22, 2019, proceedings, part I
por: Boldyreva, Alexandra, et al.
Publicado: (2019)

Advances in cryptology - CRYPTO 2019: 39th annual international cryptology conference, Santa Barbara, CA, USA, August 18-22, 2019, proceedings, part III
por: Boldyreva, Alexandra, et al.
Publicado: (2019)

Advances in cryptology - CRYPTO 2018: 38th annual international cryptology conference, Santa Barbara, CA, USA, August 19-23, 2018, proceedings, part II
por: Shacham, Hovav, et al.
Publicado: (2018)

Cannot write session to /tmp/vufind_sessions/sess_t24g9n568h6b9uqntgvkqd6abq