Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/journals/ia/ChesaniMMT11
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/journals/ia/ChesaniMMT11
https://dblp.org/rdf/schema#authoredBy https://dblp.org/pid/c/FedericoChesani + , https://dblp.org/pid/m/PMello + , https://dblp.org/pid/85/1455 + , https://dblp.org/pid/t/PaoloTorroni +
https://dblp.org/rdf/schema#bibtexType http://purl.org/net/nknouf/ns/bibtex#Article +
https://dblp.org/rdf/schema#documentPage https://doi.org/10.3233/IA-2011-0011 +
https://dblp.org/rdf/schema#doi https://doi.org/10.3233/IA-2011-0011 + , http://dx.doi.org/10.3233/IA-2011-0011 +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/journals/ia/ia5 +
https://dblp.org/rdf/schema#numberOfCreators 4
https://dblp.org/rdf/schema#pagination 101-105
https://dblp.org/rdf/schema#primaryDocumentPage https://doi.org/10.3233/IA-2011-0011 +
https://dblp.org/rdf/schema#publishedIn Intelligenza Artificiale
https://dblp.org/rdf/schema#publishedInJournal Intelligenza Artificiale
https://dblp.org/rdf/schema#publishedInJournalVolume 5
https://dblp.org/rdf/schema#publishedInJournalVolumeIssue 1
https://dblp.org/rdf/schema#title Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions.
https://dblp.org/rdf/schema#yearOfPublication 2011
owl:sameAs https://doi.org/10.3233/IA-2011-0011 + , http://dx.doi.org/10.3233/IA-2011-0011 +
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Article +
rdfs:label Federico Chesani et al.: Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions. (2011)
hide properties that link here 
  This page has no properties.
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://b-kaempgen.de/index.php/Special:BrowseSW/https:-2F-2Fdblp.org-2Frec-2Fjournals-2Fia-2FChesaniMMT11"