On the random structure of behavioural transition systems

Metadata only

Author

Groote, Jan F.

Hofstad, Remco W. van der

Raffelsieper, Matthias

Date

2016-10

Type

Citations

Altmetrics

Publication status

published

External links

Journal / series

Science of Computer Programming

Volume

128

Pages

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

Notes

.

More

Citations

Altmetrics

Research Collection