Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 55 of 56 found articles
 
 
  Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates
 
 
Title: Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates
Author: Lin, Liyong
Stefanescu, Alin
Wang, Weilin
Su, Rong
Wonham, W. Murray
Appeared in: Automatica
Paging: Volume 87 () nr. C pages 290-300
Year: 2018
Contents:
Publisher: Elsevier Ltd
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 55 of 56 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands