×

Found 156 Documents (Results 1–100)

A parametric state space for the analysis of the infinite class of stop-and-wait protocols. (English) Zbl 1178.68342

Valmari, Antti (ed.), Model checking software. 13th international SPIN workshop, Vienna, Austria, March 30 – April 1, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33102-6/pbk). Lecture Notes in Computer Science 3925, 201-218 (2006).
MSC:  68Q60 68M12 68Q85
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field