CLOCKS AND AUTOMATA BY TURRIANO,JUANELO - SPANISH - GARCIADIEGO,JA

被引：1
|
作者：
BEDINI, SA
机构：
来源：
ISIS | 1984年 / 75卷 / 277期
关键词：
D O I：
10.1086/353509
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
引用
收藏
页码：396 / 397
页数：2
相关论文
共 50 条
  • [31] STUDIES ON THE HISTORY OF SPANISH THOUGHT - SPANISH - MARAVALL,JA
    PEREZMAGALLON, J
    [J]. HISPANIC REVIEW, 1995, 63 (04) : 615 - 617
  • [32] A CRITICAL HISTORY OF THE SPANISH INQUISITION - SPANISH - LLORENTE,JA
    DIEZBORQUE, JM
    [J]. NUEVA ESTAFETA, 1981, (29): : 90 - 91
  • [33] SPANISH JOURNAL OF AMERICAN ANTHROPOLOGY - SPANISH - FRANCH,JA
    LINARES, OF
    [J]. AMERICAN JOURNAL OF ARCHAEOLOGY, 1973, 77 (02) : 253 - 254
  • [34] Binary reachability analysis of pushdown timed automata with dense clocks
    Dang, Z
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 506 - 517
  • [35] Performance analysis of probabilistic timed automata using digital clocks
    Marta Kwiatkowska
    Gethin Norman
    David Parker
    Jeremy Sproston
    [J]. Formal Methods in System Design, 2006, 29 : 33 - 78
  • [36] Performance analysis of probabilistic timed automata using digital clocks
    Kwiatkowska, Marta
    Norman, Gethin
    Parker, David
    Sproston, Jeremy
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2006, 29 (01) : 33 - 78
  • [37] MODEL CHECKING PROBABILISTIC TIMED AUTOMATA WITH ONE OR TWO CLOCKS
    Jurdzinski, Marcin
    Laroussinie, Francois
    Sproston, Jeremy
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2008, 4 (03)
  • [38] Modd checking probabilistic timed automata with one or two clocks
    Jurdzinski, Marcin
    Laroussinie, Francois
    Sproston, Jeremy
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 170 - +
  • [39] Performance analysis of probabilistic timed automata using digital clocks
    Kwiatkowska, M
    Norman, G
    Parker, D
    Sproston, J
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 105 - 120
  • [40] Towards the Complexity of Controls for Timed Automata with a Small Number of Clocks
    Chen, Taolue
    Lu, Jian
    [J]. FIFTH INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, VOL 5, PROCEEDINGS, 2008, : 134 - +
12345