Notice

This record is currently in review state, the data hasn’t been validated yet.

Notice

This is not the latest version of this item. The latest version can be found at: https://www.research-collection.ethz.ch/handle/20.500.11850/325599

Show simple item record

dc.contributor.author
Lammich, Peter
dc.contributor.author
Sefidgar, S. Reza
dc.date.accessioned
2019-02-18T06:47:36Z
dc.date.available
2019-02-18T06:47:36Z
dc.date.issued
2019
dc.identifier.issn
0168-7433
dc.identifier.issn
1573-0670
dc.identifier.other
10.1007/s10817-017-9442-4
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/325599.1
dc.language.iso
en
en_US
dc.publisher
Springer
en_US
dc.subject
Maximum flow problem
en_US
dc.subject
Edmonds–Karp algorithm
en_US
dc.subject
Push–relabel algorithm
en_US
dc.subject
Formal verification
en_US
dc.subject
Isabelle/HOL
en_US
dc.subject
Stepwise refinement
en_US
dc.title
Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/HOL
en_US
dc.type
Journal Article
dc.date.published
2017-12-01
ethz.journal.title
Journal of Automated Reasoning
ethz.journal.volume
62
ethz.journal.issue
2
ethz.journal.abbreviated
J. autom. reason.
ethz.pages.start
261
ethz.pages.end
280
ethz.identifier.scopus
ethz.publication.place
Berlin
en_US
ethz.publication.status
published
en_US
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.date.deposited
2019-02-18T06:47:43Z
ethz.source
SCOPUS
ethz.source
BATCH
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.versionExported
true
dc.identifier.olduri
http://hdl.handle.net/20.500.11850/219512
dc.identifier.olduri
http://hdl.handle.net/20.500.11850/325509
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Formalizing%20Network%20Flow%20Algorithms:%20A%20Refinement%20Approach%20in%20Isabelle/HOL&rft.jtitle=Journal%20of%20Automated%20Reasoning&rft.date=2019&rft.volume=62&rft.issue=2&rft.spage=261&rft.epage=280&rft.issn=0168-7433&1573-0670&rft.au=Lammich,%20Peter&Sefidgar,%20S.%20Reza&rft.genre=article&
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record