Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Using Forward Reachability Analysis for Veri cation of Lossy Channel
 

Summary: Using Forward Reachability Analysis
for Veri cation of Lossy Channel
Systems
Parosh Aziz Abdulla
Dept. of Information Technology
Uppsala University
Sweden
Aurore Annichini
VERIMAG
Grenoble
France
Ahmed Bouajjani
LIAFA
University of Paris 7
France
Bengt Jonsson
Dept. of Information Technology
Uppsala University
Sweden
Abstract

  

Source: Abdulla, Parosh Aziz - Department of Information Technology, Uppsala Universitet

 

Collections: Computer Technologies and Information Sciences