On the random structure of behavioural transition systems - Research Collection

Metadata only

Author

Hofstad, Remco W. van der

Raffelsieper, Matthias

Date

2016-10

Type

Conference Paper

Citations

Cited 3 times in Scopus

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1016/j.scico.2016.02.006

Journal / series

Science of Computer Programming

Volume

128

Pages / Article No.

51 - 67

Publisher

North-Holland

Event

14th International Conference on Automated Verification of Critical Systems, AVoCS 2014, Enschede, Netherlands, September 24-26, 2014

Subject

Random graph; P-parallel random transition system; State space size

More

Show all metadata

Citations

Cited 3 times in Scopus

ETH Bibliography

yes

Altmetrics