Show simple item record

dc.contributor.author
Groote, Jan F.
dc.contributor.author
Hofstad, Remco W. van der
dc.contributor.author
Raffelsieper, Matthias
dc.date.accessioned
2017-06-12T02:47:31Z
dc.date.available
2017-06-12T02:47:31Z
dc.date.issued
2016-10
dc.identifier.issn
0167-6423
dc.identifier.other
10.1016/j.scico.2016.02.006
dc.identifier.uri
http://hdl.handle.net/20.500.11850/114247
dc.language.iso
en
dc.publisher
North-Holland
dc.subject
Random graph
dc.subject
P-parallel random transition system
dc.subject
State space size
dc.title
On the random structure of behavioural transition systems
dc.type
Conference Paper
ethz.journal.title
Science of Computer Programming
ethz.journal.volume
128
ethz.journal.abbreviated
Sci. comput. program.
ethz.pages.start
51
ethz.pages.end
67
ethz.event
14th International Conference on Automated Verification of Critical Systems, AVoCS 2014
ethz.event.location
Enschede, Netherlands
ethz.event.date
September 24-26, 2014
ethz.identifier.wos
ethz.identifier.scopus
ethz.identifier.nebis
000018076
ethz.publication.place
Amsterdam
ethz.publication.status
published
ethz.date.deposited
2017-06-12T02:53:50Z
ethz.source
ECIT
ethz.identifier.importid
imp5936543a213d311713
ethz.ecitpid
pub:176022
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-15T10:40:22Z
ethz.rosetta.lastUpdated
2020-02-14T16:36:54Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=On%20the%20random%20structure%20of%20behavioural%20transition%20systems&rft.jtitle=Science%20of%20Computer%20Programming&rft.date=2016-10&rft.volume=128&rft.spage=51&rft.epage=67&rft.issn=0167-6423&rft.au=Groote,%20Jan%20F.&Hofstad,%20Remco%20W.%20van%20der&Raffelsieper,%20Matthias&rft.genre=proceeding&rft_id=info:doi/10.1016/j.scico.2016.02.006&
 Search print copy at ETH Library

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record