Search - IFIP Open Digital Library

2 results

	For these 2 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		An Implementation for Dynamic Application Allocation in Shared Sensor Networks Carmen Delgado , Sergio Batista , María Canales , José Ramón Gállego , Jorge Ortín , et al. 11th IFIP Wireless and Mobile Networking Conference (WMNC 2018), Sep 2018, Prague, Czech Republic. pp.116-123 Conference papers hal-01995501v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes Jean-Michel Couvreur , Joaquín Ezpeleta 7th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Dec 2017, Neuchâtel, Switzerland. pp.89-104, ⟨10.1007/978-3-030-11638-5_5⟩ Conference papers hal-01944569v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More

Filter your results