Zur Kurzanzeige

dc.contributor.author
Lampka, Kai
dc.contributor.editor
Steinbach, Bernd
dc.date.accessioned
2017-06-08T20:45:42Z
dc.date.available
2017-06-08T20:45:42Z
dc.date.issued
2008
dc.identifier.isbn
978-3-86012-346-1
dc.identifier.uri
http://hdl.handle.net/20.500.11850/12776
dc.language.iso
en
dc.publisher
Univ. of Mining and Technology
dc.title
Multi-rooted ZMTBDDs and the symbolic, quantitative verification of systems
dc.type
Conference Paper
ethz.book.title
Proceedings of the 8th Workshop on Boolean Problems (WBP08)
ethz.pages.start
145
ethz.pages.end
160
ethz.event
8th International Workshop on Boolean Problems (WBP08)
ethz.event.location
Freiberg, Germany
ethz.event.date
September 18-19, 2008
ethz.notes
.
ethz.publication.place
Freiberg
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.::03429 - Thiele, Lothar / Thiele, Lothar
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.::03429 - Thiele, Lothar / Thiele, Lothar
ethz.date.deposited
2017-06-08T20:46:00Z
ethz.source
ECIT
ethz.identifier.importid
imp59364c1da406394495
ethz.ecitpid
pub:24119
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-17T08:43:23Z
ethz.rosetta.lastUpdated
2018-10-01T06:30:36Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Multi-rooted%20ZMTBDDs%20and%20the%20symbolic,%20quantitative%20verification%20of%20systems&rft.date=2008&rft.spage=145&rft.epage=160&rft.au=Lampka,%20Kai&rft.isbn=978-3-86012-346-1&rft.genre=proceeding&rft_id=info:doi/978-3-86012-346-1&rft.btitle=Proceedings%20of%20the%208th%20Workshop%20on%20Boolean%20Problems%20(WBP08)
 Suchen via SFX

Dateien zu diesem Eintrag

DateienGrößeFormatIm Viewer öffnen

Zu diesem Eintrag gibt es keine Dateien.

Publikationstyp

Zur Kurzanzeige