ExLibris header image

SFX by Ex Libris Inc.

Contains information about title and source of a journal
Title: A General Framework for Probabilistic Characterizing Formulae
Source:

Verification, Model Checking, and Abstract Interpretation [3-642-27939-2; 3-642-27940-6] Sack, Joshua

yr:2012 pg:396 -411

List of services to meet your request

Contains list of services for current record

Basic services

Full Text

service type icon, opens target in new window

Full text

service type icon, opens target in new window
  Note:Fulltext may not always be available through DTU Library

Citation information

service type icon, opens target in new window

Web Service

service type icon, opens target in new window
service type icon, opens target in new window

More options

Full text for other editions

Series: Lecture Notes in Computer Science [0302-9743]
service type icon, opens target in new window
  Available from 1973

Reference

service type icon, opens target in new window

Web Search

service type icon, opens target in new window
 
 
 
service type icon, opens target in new window
 
 
service type icon, opens target in new window
service type icon, opens target in new window
 
 
 
  Note:Free full text available for some or all content


© 2017 SFX by Ex Libris Inc. | Cookie Policy
CrossRef Enabled