LEADER 00000nam  2200000 i 4500 
001    x320493805 
008    990602s1995    us      rm    000   eng d 
040    UZ.CPS 
100 1  Rachell, Traxon 
245 13 An algorithm to decide the DTS-Property for bounded AC and
       NSC nets using an S-invariant approach /|cby Traxon 
       Rachell 
260    Colorado :|bUniversity of Colorado, Faculty of the School 
       of Engineering and Applied Science,|c1995 
300    IX, 122 p. ;|c30 cm 
502    Tesis - University of Colorado 
650 04 Algoritmos computacionales|vTesis doctorales 
650 04 Petri, Redes de|vTesis doctorales 
830  0 Tesis doctorales (Universidad de Colorado. Facultad de la 
       Escuela de Ingeniería y Ciencias Aplicadas) 
907 00 m|bt|ca|dm|e0|fnh|g990602|h1|i990602 
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-TDOC 354    CONSULTAR DEPT  DISPONIBLE