The Resource Efficient symbolic state-space construction for asynchronous systems, Gianfranco Ciardo, Gerald Luttgen, Radu Siminiceanu, (microform)

Efficient symbolic state-space construction for asynchronous systems, Gianfranco Ciardo, Gerald Luttgen, Radu Siminiceanu, (microform)

Label
Efficient symbolic state-space construction for asynchronous systems
Title
Efficient symbolic state-space construction for asynchronous systems
Statement of responsibility
Gianfranco Ciardo, Gerald Luttgen, Radu Siminiceanu
Title variation
Efficient symbolic state space construction for asynchronous systems
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
GPO
http://library.link/vocab/creatorName
Ciardo, Gianfranco
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Lüttgen, Gerald
  • Siminiceanu, Radu
  • Institute for Computer Applications in Science and Engineering
Series statement
  • ICASE report
  • NASA contractor report
Series volume
  • no. 99-50
  • NASA/CR-1999-209827
http://library.link/vocab/subjectName
  • Systems
  • System analysis
  • Engineering
  • Complex systems
  • Systems analysis
  • Construction
  • Synchronism
Label
Efficient symbolic state-space construction for asynchronous systems, Gianfranco Ciardo, Gerald Luttgen, Radu Siminiceanu, (microform)
Instantiates
Publication
Note
Shipping list no.: 2000-0583-M
Carrier category
microfiche
Carrier category code
  • he
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
44114136
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
1 volume
Form of item
microfiche
Generation
first generation master
Media category
microform
Media MARC source
rdamedia
Media type code
  • h
http://library.link/vocab/ext/overdrive/overdriveId
20000011947
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche
Label
Efficient symbolic state-space construction for asynchronous systems, Gianfranco Ciardo, Gerald Luttgen, Radu Siminiceanu, (microform)
Publication
Note
Shipping list no.: 2000-0583-M
Carrier category
microfiche
Carrier category code
  • he
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
44114136
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
1 volume
Form of item
microfiche
Generation
first generation master
Media category
microform
Media MARC source
rdamedia
Media type code
  • h
http://library.link/vocab/ext/overdrive/overdriveId
20000011947
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...