Search Sciweavers | Sciweavers

3147 search results - page 177 / 630

» Open-Source Model Checking

104

LFCS
2007
Springer

92views Artificial Intelligence» more LFCS 2007»

15 years 9 months ago

Raffaella Gentilini, Klaus Schneider, B. Mishra

claim paper

Read More »

Voted

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

15 years 9 months ago

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

Voted

PROMAS
2007
Springer

137views Intelligent Agents» more PROMAS 2007»

15 years 9 months ago

Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...

claim paper

Read More »

Voted

SFM
2007
Springer

68views Formal Methods» more SFM 2007»

15 years 9 months ago

Marta Z. Kwiatkowska, Gethin Norman, David Parker

claim paper

Read More »

click to vote

SOFSEM
2007
Springer

93views Theoretical Computer Science» more SOFSEM 2007»

15 years 9 months ago

Sciweavers