The DisCo language and temporal logic of actions

URI: http://urn.fi/URN:NBN:fi:bib:me:W00084604000
author
contributor
inLanguage
  • en
isPartOf
name
  • The DisCo language and temporal logic of actions
P60049

Instances

View this in Finna

The DisCo language and temporal logic of actions

URI: http://urn.fi/URN:NBN:fi:bib:me:I00084604000
datePublished
  • 1990
description
  • kuvitettu
identifier
  • propertyID: FI-FENNI value: 515985
  • propertyID: FI-MELINDA value: 000846040
  • propertyID: skl value: fx515985
isbn
  • 9517215878
isPartOf
name
  • The DisCo language and temporal logic of actions
numberOfPages
  • 14, [2] s.
P60048
P60050
publication
  • location: Tampere organizer: Tampereen teknillinen korkeakoulu Tampereen teknillinen yliopisto. Optoelektroniikan tutkimuskeskus
publisher

Download this resource as RDF: