Search Sciweavers | Sciweavers

This article aims to focus on self-regulation mechanisms that are exercised by virtual communities in order to maintain their boundaries of autonomy while directing behavior of th...

Karine Barzilai-Nahon, Seev Neumann

claim paper

Read More »

136

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

15 years 11 months ago

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

111

click to vote

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

15 years 11 months ago

Download www.ii.uni.wroc.pl

Witold Charatonik, Lilia Georgieva, Patrick Maier

claim paper

Read More »

135

click to vote

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers