Enumération des états accessibles d'un système temporel spécifié au noyau de Lotos étendu en facteur temps
No Thumbnail Available
Date
1998
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
151 p. : ill. ; 30 cm.(+ microfiche).
Keywords
Informatique, langage Lotos, Langage lotos,informatique