Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/conf/amcc/KalitaK00
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/conf/amcc/KalitaK00
https://dblp.org/rdf/schema#authoredBy https://dblp.org/pid/49/1287 + , https://dblp.org/pid/87/3423 +
https://dblp.org/rdf/schema#bibtexType http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
https://dblp.org/rdf/schema#documentPage https://doi.org/10.1109/ACC.2000.879227 +
https://dblp.org/rdf/schema#doi https://doi.org/10.1109/ACC.2000.879227 + , http://dx.doi.org/10.1109/ACC.2000.879227 +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/conf/amcc/acc2000 +
https://dblp.org/rdf/schema#numberOfCreators 2
https://dblp.org/rdf/schema#pagination 3533-3539
https://dblp.org/rdf/schema#primaryDocumentPage https://doi.org/10.1109/ACC.2000.879227 +
https://dblp.org/rdf/schema#publishedAsPartOf https://dblp.org/rec/conf/amcc/2000 +
https://dblp.org/rdf/schema#publishedIn ACC
https://dblp.org/rdf/schema#publishedInBook ACC
https://dblp.org/rdf/schema#title Formal verification for analysis and design of reconfigurable controllers for manufacturing systems.
https://dblp.org/rdf/schema#yearOfEvent 2000
https://dblp.org/rdf/schema#yearOfPublication 2000
owl:sameAs https://doi.org/10.1109/ACC.2000.879227 + , http://dx.doi.org/10.1109/ACC.2000.879227 +
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label Dhrubajyoti Kalita and Pramod P. Khargonekar: Formal verification for analysis and design of reconfigurable controllers for manufacturing systems. (2000)
hide properties that link here 
  This page has no properties.
 

 

Enter the name of the page to start semantic browsing from.