Q4484482
type: Item
instance of: scholarly article
zbMATH Open document ID: 1012.68134
author: Marcus Nilsson
author: Julien d'Orso
author: Parosh A. Abdulla
author: Bengt Jonsson
publication date: 2003-06-12T00:00:00Z
full work available at URL: 24210116.htm
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1927558
MaRDI profile type: Publication
Recommended article: Regular model checking revisited
Recommended article: Q2754102
Recommended article: CONCUR 2004 - Concurrency Theory
Recommended article: Regular model checking: evolution and perspectives
Recommended article: Regular Model Checking using Widening Techniques
Recommended article: Computer Aided Verification
Recommended article: Regular model checking with regular relations
Recommended article: Q4472430
Recommended article: Practical Efficient Modular Linear-Time Model-Checking
description: scientific article; zbMATH DE number 1927558