Metadata only
Date
2004Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Journal / series
International Journal on Software Tools for Technology TransferVolume
Pages / Article No.
Publisher
SpringerSubject
Liveness; Safety; Linear temporal logic; Model checkingMore
Show all metadata
ETH Bibliography
yes
Altmetrics