Zur Kurzanzeige

dc.contributor.author
Hoang, Thai Son
dc.contributor.author
Abrial, Jean-Raymond
dc.contributor.editor
Qin, Shengchao
dc.contributor.editor
Qiu, Zonguan
dc.date.accessioned
2017-06-09T17:44:49Z
dc.date.available
2017-06-09T17:44:49Z
dc.date.issued
2011
dc.identifier.isbn
978-3-642-24558-9
dc.identifier.isbn
978-3-642-24559-6
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.uri
http://hdl.handle.net/20.500.11850/42369
dc.language.iso
en
dc.publisher
Springer
dc.title
Reasoning about Liveness Properties in Event-B
dc.type
Conference Paper
ethz.book.title
Formal Methods and Software Engineering : proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
6991
ethz.journal.abbreviated
LNCS
ethz.pages.start
456
ethz.pages.end
471
ethz.event
13th International Conference on FOrmal Engineering Methods (ICFEM 2011)
ethz.event.location
Durham, UK
ethz.event.date
October 26-28, 2011
ethz.notes
.
ethz.identifier.nebis
006740270
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-09T17:44:54Z
ethz.source
ECIT
ethz.identifier.importid
imp59364eb894a7759407
ethz.ecitpid
pub:70544
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-26T14:29:15Z
ethz.rosetta.lastUpdated
2018-10-01T14:41:36Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Reasoning%20about%20Liveness%20Properties%20in%20Event-B&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2011&rft.volume=6991&rft.spage=456&rft.epage=471&rft.issn=0302-9743&1611-3349&rft.au=Hoang,%20Thai%20Son&Abrial,%20Jean-Raymond&rft.isbn=978-3-642-24558-9&978-3-642-24559-6&rft.genre=proceeding&rft_id=info:doi/978-3-642-24558-9&info:doi/978-3-642-24559-6&rft.btitle=Formal%20Methods%20and%20Software%20Engineering%20:%20proceedings
 Suchen via SFX

Dateien zu diesem Eintrag

DateienGrößeFormatIm Viewer öffnen

Zu diesem Eintrag gibt es keine Dateien.

Publikationstyp

Zur Kurzanzeige