Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /

Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /

57

Bibliographic Details
Main Authors:	International SPIN Workshop (14th : 2007 : Berlin, Germany), Bosnacki, Dragan, 1963-, Edelkamp, Stefan
Format:
Language:	eng
Published:	Berlin : Springer-Verlag, 2007
Subjects:	Computer software
Online Access:	http://dx.doi.org/10.1007/978-3-540-73370-6

Similar Items

Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /
by: EPEW 2007 (2007 : Berlin, Germany), et al.
Published: (2007)

Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /
by: CAV Conference (19th : 2007 : Berlin, Germany), et al.
Published: (2007)

ECOOP 2007 -- Object-Oriented Programming [electronic resource] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007: Proceedings /
by: ECOOP 2007 (2007 : Berlin, Germany), et al.
Published: (2007)

Bioinformatics Research and Development [electronic resource] : First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007. Proceedings /
by: BIRD 2007 (2007 : Berlin, Germany), et al.
Published: (2007)

Nanopolymers 2007 : the international conference 12th - 13th June, Berlin Germany
by: International conference (2007 : Berlin, Germany), et al.
Published: (2007)

Immunoregulation in inflammatory bowel diseases--- current understanding and innovation : proceedings of the Falk symposium 153 held in Berlin, Germany, May 6-7, 2006 /
by: Falk Symposium (2007 : Berlin, Germany), et al.
Published: (2007)

The Internet challenge : technology and applications : proceedings of the 5th international workshop held at the TU Berlin, Germany, October 8th-9th, 2002 /
by: International Workshop on The Internet Challenge : Technology and Applications (5th : 2002 : TU Berlin Germany), et al.
Published: (2002)

Advances in Data Mining. Theoretical Aspects and Applications [electronic resource] : 7th Industrial Conference, ICDM 2007, Leipzig, Germany, July 14-18, 2007: Proceedings /
by: Industrial Conference on Data Mining (7th : 2007 : Leipzig, Germany), et al.
Published: (2007)

From Web to Social Web: Discovering and Deploying User and Content Profiles [electronic resource] : Workshop on Web Mining, WebMine 2006, Berlin, Germany, September 18, 2006. Revised Selected and Invited Papers. /
by: Workshop on Web Mining (2006 : Berlin, Germany), et al.
Published: (2007)

Volcanic rocks : the International Workshop On Volcanic Rocks Workshop W2, 11th Congress ISRM, Ponta Delgada, Azores, Portugal, 14-15 July, 2007 /
by: International Workshop On Volcanic Rocks, Workshop W2 (2007 : Ponta Delgada, Azores), et al.
Published: (2007)

Hybrid Metaheuristics [electronic resource]: 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007: Proceedings/
by: HM 2007 (2007 : Dortmund, Germany), et al.
Published: (2007)

Multi-carrier spread-spectrum 2007 : proceedings from the 6th International Workshop on Multi-Carrier Spread Spectrum, May 2007. Herrsching, Germany /
by: International Workshop on Multi-Carrier Spread-Spectrum (6th : 2007 : Herrsching am Ammersee , Germany), et al.
Published: (2007)

Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007: Proceedings /
by: MLDM 2007 (2007 : Leipzig, Germany), et al.
Published: (2007)

Local strain and temperature measurement in non-uniform fields at elevated temperature : proceedings of the symposium held at Berlin, Germany, 14-15 March 1996 /
by: International Symposium Local strain and temperature measurement in non-uniform fields at elevated temperature (1996 : Berlin, Germany), et al.
Published: (1999)

Volcanic rocks [electronics resource] : the International Workshop On Volcanic Rocks Workshop W2, 11th Congress ISRM, Ponta Delgada, Azores, Portugal, 14-15 July, 2007 /
by: International Workshop On Volcanic Rocks, Workshop W2 (2007 : Ponta Delgada, Azores), et al.
Published: (2007)

Shock waves : proceedings of the 26th International Symposium on Shock Waves, Gottingen, Germany, July 15-20, 2007 /
by: International Symposium on Shock Waves (26th : 2007 : Gottingen, Germany), et al.
Published: (2009)

Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers /
by: MoChArt IV (2007 : Riva, Italy), et al.
Published: (2007)

Noise and vibration mitigation for rail transportation systems : proceedings of the 9th International Workshop on Railway Noise, Munich, Germany, 4-8 September 2007 /
by: International Workshop on Railway Noise (9th : 2007 : Munich, Germany), et al.
Published: (2008)

4th international workshop on wearable and implantable body sensor networks (BSN 2007), March 26 - March 28, 2007, Aachen, Germany /
by: International Workshop on Wearable and Implantable Body Sensor Networks (4th : 2007 : Aachen, Germany), et al.
Published: (2007)

CARS 2005 : computer assisted radiology and surgery : proceedings of the 19th International Congress and Exhibition, Berlin, Germany, June 22-25, 2005 /
by: CARS 2005 (Conference) (2005 : Berlin, Germany), et al.
Published: (2005)

Computer Algebra in Scientific Computing [electronic resource]: 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007: Proceedings/
by: International Workshop on Computer Algebra in Scientific Computing (10th : 2007 : Bonn, Germany), et al.
Published: (2007)

IUTAM Symposium on fluid-structure interaction in ocean engineering : Proceedings of the IUTAM Symposium Held in Hamburg, Germany, July 23-26, 2007 /
by: IUTAM Symposium on Fluid-Structure Interaction in Ocean Engineering (2007 : Hamburg, Germany), et al.
Published: (2008)

Active flow control : [electronic resources] papers contributed to the Conference "Active Flow Control 2006", Berlin, Germany, September 27 to 29, 2006 /
by: Conference "Active Flow Control 2006" (2006 : Berlin, Germany), et al.
Published: (2007)

Cellular neural networks and their applications : proceedings of the 7th IEEE International Workshop held in Frankfurt, Germany 22 - 24 July 2002 /
by: Proceedings of the 7th IEEE International Workshop on Cellular neural networks and their applications, (7th : 2002: Frankfurt, Germany), et al.
Published: (2002)

Pattern Recognition [electronic resource] : 29th DAGM Symposium, Heidelberg, Germany, September 12-14, 2007: Proceedings /
by: DAGM (Organization) (29th : 2007 : Heidelberg, Germany), et al.
Published: (2007)

Germany and Indo-Pacific : Berlin's ASEAN-style regionalism?
by: Chong, Alan, et al.
Published: (2020)

Germany's Indo-Pacific strategy : can Berlin contribute?
by: Kliem, Frederick
Published: (2020)

Network-based information systems : first international conference, NBiS 2007, Regensburg, Germany, September 3-7, 2007 : proceedings /
by: NBiS 2007 (2007 : Regensburg, Germany), et al.
Published: (2007)

Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
by: International Conference on Automated Deduction (21st : 2007 : Bremen, Germany), et al.
Published: (2007)

Complex Motion [electronic resource]: First International Workshop, IWCM 2004, Gunzburg, Germany, October 12-14, 2004. Revised Papers/
by: International Workshop on Complex Motion (1st : 2004 : Gunzburg, Germany), et al.
Published: (2007)

Remote sensing for environmental monitoring, GIS applications, and geology IX : 31 August-3 September 2009, Berlin, Germany /
by: SPIE Conference on Remote Sensing for Environmental Monitoring, GIS Applications, and Geology (9th : 2009 : Berlin, Germany), et al.
Published: (c200)

Multimedia content analysis and mining [electronic resources]: international workshop, MCAM 2007, Weihai, China, June 30-July 1, 2007 : proceedings/
by: MCAM 2007 (2007 : Weihai, China), et al.
Published: (2007)

Gettering and defect engineering in semiconductor technology XIII - GADEST 2009 : proceedings of the XIIIth international autumn meeting, Dl̲lnsee-Schorfheide, north of of Berlin, Germany, September 26 - October 02 2009 /
by: GADEST 2009 (2009 : Berlin, Germany), et al.
Published: (2010)

Preservation of natural stone and rock weathering : proceedings of the ISRM Workshop W3, Madrid, Spain, 14 July 2007 /
by: Sola, Pedro, et al.
Published: (2007)

22nd Annual Congress of the European Association of Urology, Berlin, Germany, 21-24 March 2007 - Welcome
by: Hamdy, F
Published: (2007)

Ambient intelligence [electronic resources]: European conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007 ; proceedings/
by: AmI, 2007 (2007 : Darmstadt, Germany), et al.
Published: (2007)

Proceedings of the 1st International Workshop on Semantic Digital Archives‚ SDA 2011‚ Berlin‚ Germany‚ September 29‚ 2011
Published: (2011)

Multiagent System Technologies [electronic resource] : 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007: Proceedings /
by: MATES 2007 (2007 : Leipzig, Germany), et al.
Published: (2007)

Genome informatics 2007 : proceedings of the 7th Annual International Workshop on Bioinformatics and Systems Biology (IBSB 2007), Institute of Medical Science, University of Tokyo, Japan, 31 July-2 August 2007 /
by: International Workshop on Bioinformatics and Systems Biology (7th : 2007 : University of Tokyo), et al.
Published: (2007)

Trends of Mycoplasma genitalium infections in Berlin, Germany, 2017–2023
by: Roger Dumke, et al.
Published: (2025-03-01)