Anualidad
type: Class

Event
type: Class

Entity
type: Class

Process
type: Class

Conference
type: Class

Occurrent
type: Class

2001
type: Class

RDF description of IEEE Workshop on Formal Specifications of Computer Based Systems (FSCBS'01) - http://research.umh.es/vivo/pub/congreso/19641
type: Document
rights: termsOfUse
date: 2026-08-17T07:18:07
publisher: IEEE Workshop on Formal Specifications of Computer Based Systems (FSCBS'01)

IEEE Workshop on Formal Specifications of Computer Based Systems (FSCBS'01)
type: Event
geographic focus: international
date time interval: 19641 date
type: Occurrent
RO_0001025: Washington SC, Estados Unidos
type: Conference
most specific type: Conference
type: Entity
type: Anualidad
type: 2001
RO_0002234: Integrating Petri Nets and Troll in the Modeling of Engineering Systems
type: Thing
most specific type: 2001
type: Process

Washington SC, Estados Unidos
type: BFO_0000141
type: Location
type: Entity
type: Thing
type: BFO_0000006
type: BFO_0000004
type: BFO_0000002
RO_0001015: IEEE Workshop on Formal Specifications of Computer Based Systems (FSCBS'01)

Integrating Petri Nets and Troll in the Modeling of Engineering Systems
type: Thing
type: Conference
type: Anualidad
type: BFO_0000002
type: 2001
type: BFO_0000031
type: Document
type: ConferencePaper
type: Entity
type: Article
type: IAO_0000030
RO_0002353: IEEE Workshop on Formal Specifications of Computer Based Systems (FSCBS'01)