scientific article; zbMATH DE number 2043470

zbMath1038.68937MaRDI QIDQ4450980

Ferhat Khendek, Tong Zheng, Benoît Parreaux

Publication date: 16 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2708/27080234.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99) Computer system organization (68M99)

Related Items (1)

Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis

This page was built for publication: