Vol-1697⫷ Vol-1698 ⫸Vol-1699
urn:nbn:de:0074-1698-0


Vol-1698/CS&P2016_08_Barylska&Mikulski&Piatkowski&Koutny&Erofeev_Reversing-Transitions-in-Bounded-Petri-Nets⫷Vol-1698/CS&P2016_09_Abdullahi&Mueller_Towards-Efficient-Verification-of-Elementary-Object-Systems⫸Vol-1698/CS&P2016_10_Garanina&Sidorova_Context-dependent-Lexical-and-Syntactic-Disambiguation-in-Ontology-Population

Towards Efficient Verification of Elementary Object Systems