Doron A. Peled's Documents

Doron A. Peled's Documents

Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)
Read more
Computer Aided Verification, 11 conf., CAV '99

Computer Aided Verification, 11 conf., CAV '99
Read more
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science Programming and Software Engineering)

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science Programming and Software Engineering)
Read more
Formal Techniques for Networked and Distributed Systems - FORTE 2002

Formal Techniques for Networked and Distributed Systems - FORTE 2002
Read more
Photo-Excited Processes, Diagnostics and Applications. Fundamentals and Advanced Topics

Photo-Excited Processes, Diagnostics and Applications. Fundamentals and Advanced Topics
Read more
Photo-Excited Processes, Diagnostics and Applications: Fundamentals and Advanced Topics (Kluwer 2003)

Photo-Excited Processes, Diagnostics and Applications: Fundamentals and Advanced Topics (Kluwer 2003)
Read more
Model checking

Model checking
Read more
Model checking

Model checking
Read more
Model Checking

Model Checking
Read more
Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008

Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008
Read more
NeuroAnalysis: Bridging the Gap between Neuroscience, Psychoanalysis and Psychiatry

NeuroAnalysis: Bridging the Gap between Neuroscience, Psychoanalysis and Psychiatry
Read more
The difference engine: Charles Babbage

The difference engine: Charles Babbage
Read more
Theories on Law and Ageing: The Jurisprudence of Elder Law

Theories on Law and Ageing: The Jurisprudence of Elder Law
Read more
Ruhige Zeiten

Ruhige Zeiten
Read more
Nonaqueous Electrochemistry

Nonaqueous Electrochemistry
Read more
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Read more
Ruhige Zeiten

Ruhige Zeiten
Read more
Ruhige Zeiten

Ruhige Zeiten
Read more
The Jacobite Movement in Scotland and in Exile, 1749-1759 (Studies in Modern History)

The Jacobite Movement in Scotland and in Exile, 1749-1759 (Studies in Modern History)
Read more
Threshold Graphs and Related Topics, Volume 56 (Annals of Discrete Mathematics)

Threshold Graphs and Related Topics, Volume 56 (Annals of Discrete Mathematics)
Read more
The New Israel: Peacemaking and Liberalization

The New Israel: Peacemaking and Liberalization
Read more
Driving With Confidence: A Practical Guide to Driving With Low Vision

Driving With Confidence: A Practical Guide to Driving With Low Vision
Read more
The New Israel: Peacemaking and Liberalization

The New Israel: Peacemaking and Liberalization
Read more
Being Israeli: The Dynamics of Multiple Citizenship (Cambridge Middle East Studies)

Being Israeli: The Dynamics of Multiple Citizenship (Cambridge Middle East Studies)
Read more
Threshold Graphs and Related Topics (Annals of Discrete Mathematics, Volume 56)

Threshold Graphs and Related Topics (Annals of Discrete Mathematics, Volume 56)
Read more
Threshold Graphs and Related Topics

Threshold Graphs and Related Topics
Read more
CRC Computational Science)

CRC Computational Science)
Read more
Shattered Vessels: Memory, Identity, and Creation in the Work of David Shahar (Suny Series in Modern Jewish Literature and Culture)

Shattered Vessels: Memory, Identity, and Creation in the Work of David Shahar (Suny Series in Modern Jewish Literature and Culture)
Read more
Trade Secrets: Intellectual Piracy and the Origins of American Industrial Power

Trade Secrets: Intellectual Piracy and the Origins of American Industrial Power
Read more
The Weeping Willow: Encounters With Grief

The Weeping Willow: Encounters With Grief
Read more