Publisher: Elsevier

Related content
Volume 50, Number 4, January 2004

< previous issue | all issues | next issue >

Favourites:Add to Favourites
Favourites:Add to Favourites

Networks of Processes with Parameterized State Space
pp. 1-15(15)
Authors: Baukus, K.; Stahl, K.; Bensalem, S.; Lakhnech, Y.

Favourites:Add to Favourites

Regular Model Checking using Widening Techniques
pp. 1-15(15)
Author: Touili, T.

Share Content

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more