Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             7 results found
no title author magazine year volume issue page(s) type
1 A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties Boucheneb, Hanifa
2008
88 4 p. 469-495
article
2 Analysis of Static Data Flow Structures Sokolov, Danil
2008
88 4 p. 581-610
article
3 Application of Concurrency to System Design, the Sixth Special Issue 2008
88 4 p. i-iii
article
4 Fault Diagnosis with Static and Dynamic Observers Cassez, Franck
2008
88 4 p. 497-540
article
5 Hazard Checking of Timed Asynchronous Circuits Revisited Béal, Frédéric
2008
88 4 p. 411-435
article
6 Output-Determinacy and Asynchronous Circuit Synthesis Khomenko, Victor
2008
88 4 p. 541-579
article
7 Synthesis of Petri Nets from Finite Partial Languages Bergenthum, Robin
2008
88 4 p. 437-468
article
                             7 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands