Jump to Navigation

Model checking dynamic data structures in operating systems

TitleModel checking dynamic data structures in operating systems
Publication TypeConference Paper
Year of Publication2009
AuthorsGallardo, M-del-M., P. Merino, and D. Sanán
Conference NameMarisa Llorens y Javier Oliver (eds.). Actas de las XVII Jornadas de Concurrencia y Sistemas Distribuidos.10,11 y 12 de Junio de 2009. Sagunto (Valencia)
Date Publishedjun
PublisherUniversidad Politécnica de Valencia
ISBN Number978-84-8363-423-3


Main menu 2

Biblio | by Dr. Radut