Stefan Fischer

Orcid: 0000-0003-1292-8925

Affiliations:
  • University of Lübeck, Germany


According to our database1, Stefan Fischer authored at least 171 papers between 1993 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Enhancing Energy Efficiency in IoT-NDN via Parameter Optimization.
Future Internet, February, 2024

2023
Using Machine Learning and Routing Protocols for Optimizing Distributed SPARQL Queries in Collaboration.
Comput., September, 2023

Proteome Fingerprinting as a Localization Scheme for Nanobots.
Proceedings of the 10th ACM International Conference on Nanoscale Computing and Communication, 2023

NanoMedView: A mhealth visualizer app for nano communication networks.
Proceedings of the 10th ACM International Conference on Nanoscale Computing and Communication, 2023

Ontology-Based Models of Chatbots for Populating Knowledge Graphs.
Proceedings of the Knowledge Graphs and Semantic Web, 2023

Distributed SPARQL queries in collaboration with the routing protocol.
Proceedings of the International Database Engineered Applications Symposium Conference, 2023

2022
Integration of FIWARE and IoT based Named Data Networking (IoT-NDN).
Proceedings of the 11th International Conference on Sensor Networks, 2022

Towards personalized precision medicine using DNA-based molecular communication networks.
Proceedings of the NANOCOM '22: The Ninth Annual ACM International Conference on Nanoscale Computing and Communication, Barcelona, Catalunya, Spain, October 5, 2022

Using decPOMDPcoms to holistically model and program nanodevices and emergent nanonetworks.
Proceedings of the NANOCOM '22: The Ninth Annual ACM International Conference on Nanoscale Computing and Communication, Barcelona, Catalunya, Spain, October 5, 2022

SIMORA: SIMulating Open Routing protocols for Application interoperability on edge devices.
Proceedings of the 6th IEEE International Conference on Fog and Edge Computing, 2022

A SPARQL benchmark for distributed databases in IoT environments.
Proceedings of the BiDEDE '22: Proceedings of The International Workshop on Big Data in Emergent Distributed Environments, 2022

2021
Efficient in-message computation of prevalent mathematical operations in DNA-based nanonetworks.
Nano Commun. Networks, 2021

Lifting DecPOMDPs for Nanoscale Systems - A Work in Progress.
CoRR, 2021

DNA-Based Molecular Communication as a Paradigm for Multi-Parameter Detection of Diseases.
Proceedings of the NANOCOM '21: The Eighth Annual ACM International Conference on Nanoscale Computing and Communication, Virtual Event, Italy, September 7, 2021

Age of Information in In-Body Nano Communication Networks.
Proceedings of the NANOCOM '21: The Eighth Annual ACM International Conference on Nanoscale Computing and Communication, Virtual Event, Italy, September 7, 2021

Flexible data partitioning schemes for parallel merge joins in semantic web queries.
Proceedings of the Datenbanksysteme für Business, 2021

2020
QCM2R: A QoS-aware cross-layered multichannel multisink routing protocol for stream based wireless sensor networks.
J. Netw. Comput. Appl., 2020

A novel dynamic confidence interval based secure channel prediction approach for stream-based multichannel wireless sensor networks.
Ad Hoc Networks, 2020

BVS-Vis: a web-based visualizer for BloodVoyagerS.
Proceedings of the NANOCOM '20: The Seventh Annual ACM International Conference on Nanoscale Computing and Communication, 2020

MEHLISSA: a medical holistic simulation architecture for nanonetworks in humans.
Proceedings of the NANOCOM '20: The Seventh Annual ACM International Conference on Nanoscale Computing and Communication, 2020

A simulation framework for connecting in-body nano communication with out-of-body devices.
Proceedings of the NANOCOM '20: The Seventh Annual ACM International Conference on Nanoscale Computing and Communication, 2020

A Different Perspective in Routing for VANETs.
Proceedings of the 2020 International Symposium on Networks, Computers and Communications, 2020

Solving Generic Decision Problems by in-Message Computation in DNA-Based Molecular Nanonetworks.
Proceedings of the Body Area Networks. Smart IoT and Big Data for Intelligent Health, 2020

2019
Computation of decision problems within messages in DNA-tile-based molecular nanonetworks.
Nano Commun. Networks, 2019

Error-Resistant Scaling of Three-Dimensional Nanoscale Shapes on the Basis of DNA-Tiles.
Proceedings of the Sixth Annual ACM International Conference on Nanoscale Computing and Communication, 2019

2018
Techniques for the Generation of Arbitrary Three-Dimensional Shapes in Tile-Based Self-Assembly Systems.
Open J. Internet Things, 2018

Editorial: Ad Hoc Networking and Emerging Applications.
Mob. Networks Appl., 2018

Anatomizing the robustness of multichannel MAC protocols for WSNs: An evaluation under MAC oriented design issues impacting QoS.
J. Netw. Comput. Appl., 2018

A Model-based Approach for Self-healing IoT Systems - Position Paper.
Proceedings of the 7th International Conference on Sensor Networks, 2018

HIDTN: Hybrid DTN and Infrastructure Networks for Reliable and Efficient Data Dissemination.
Proceedings of the 28th International Telecommunication Networks and Applications Conference, 2018

2017
A Critical Review of Surveys Emphasizing on Routing in Wireless Sensor Networks - An Anatomization under General Survey Design Framework.
Sensors, 2017

Function Centric Nano-Networking: Addressing nano machines in a medical application scenario.
Nano Commun. Networks, 2017

A comprehensive survey on multichannel routing in wireless sensor networks.
J. Netw. Comput. Appl., 2017

Embedding space-constrained quantum-dot cellular automata in three-dimensional tile-based self-assembly systems.
Proceedings of the 4th ACM International Conference on Nanoscale Computing and Communication, 2017

Monitoring as a service for networked medical cyber-physical systems.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

2016
Machine-Learning Based Channel Quality and Stability Estimation for Stream-Based Multichannel Wireless Sensor Networks.
Sensors, 2016

Function Centric Networking: an Approach for Addressing in In-Body Nano Networks.
Proceedings of the 3rd ACM International Conference on Nanoscale Computing and Communication, 2016

Infrastructure-based delay tolerant network communication.
Proceedings of the 2016 International Conference on Information Networking, 2016

Europe's Mission in Next-Generation Networking with Special Emphasis on the German-Lab Project.
Proceedings of the GENI Book, 2016

2015
Connecting in-body nano communication with body area networks: Challenges and opportunities of the Internet of Nano Things.
Nano Commun. Networks, 2015

Critical Infrastructure Surveillance Using SecureWireless Sensor Networks.
J. Sens. Actuator Networks, 2015

On the Performance of Caching and Forwarding in Information-Centric Networking for the IoT.
Proceedings of the Wired/Wireless Internet Communications - 13th International Conference, 2015

Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Caching in Named Data Networking for the wireless Internet of Things.
Proceedings of the International Conference on Recent Advances in Internet of Things, 2015

IoT for AAL: An Architecture via Information-Centric Networking.
Proceedings of the 2015 IEEE Globecom Workshops, San Diego, CA, USA, December 6-10, 2015, 2015

VaSili - A simulation runtime environment for applications in Vehicular Ad-Hoc Networks.
Proceedings of the 12th Annual IEEE Consumer Communications and Networking Conference, 2015

2014
Poster: Adapter framework for VANET simulators.
Proceedings of the 2014 IEEE Vehicular Networking Conference, 2014

Hybrid underwater environmental monitoring.
Proceedings of the 12th ACM Conference on Embedded Network Sensor Systems, 2014

An Approach to Integrate Distributed Systems of Medical Devices in High Acuity Environments.
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

2013
A P2P Semantic Query Framework for the Internet of Things.
Prax. Inf.verarb. Kommun., 2013

Linked Data & Co.
Prax. Inf.verarb. Kommun., 2013

Short paper: Collaboration between VANET applications based on open standards.
Proceedings of the 2013 IEEE Vehicular Networking Conference, 2013

Trustful Data Forwarding in Social Opportunistic Networks.
Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, 2013

Name-Centric Service Architecture for Cyber-Physical Systems (Short Paper).
Proceedings of the 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013

Runtime verification and reflection for wireless sensor networks.
Proceedings of the 4th International Workshop on Software Engineering for Sensor Network Applications, 2013

Poster Abstract: iBAST - Instantaneous Bridge Assessment Based on Sensor Network Technology.
Proceedings of the Real-World Wireless Sensor Networks, 2013

MOVEDETECT - Secure Detection, Localization and Classification in Wireless Sensor Networks.
Proceedings of the Internet of Things, Smart Spaces, and Next Generation Networking, 2013

2012
Welcome to <i>Journal of Sensor and Actuator Networks</i>.
J. Sens. Actuator Networks, 2012

Flexible experimentation in wireless sensor networks.
Commun. ACM, 2012

Betriebssysteme und Rechnerverbund.
Proceedings of the 40 Jahre Informatik an der Technischen Universität Braunschweig, 1972, 2012

A proof of concept for medical device integration using Web Services.
Proceedings of the International Multi-Conference on Systems, Signals & Devices, 2012

2011
Experimentalumgebungen für das Internet der Dinge: Überblick, Taxonomie und praktische Nutzung.
Prax. Inf.verarb. Kommun., 2011

Ambient Socio-Technical Support for Assisted Autonomous Living.
ERCIM News, 2011

Distributed algorithm engineering for networks of tiny artifacts.
Comput. Sci. Rev., 2011

API for data dissemination protocols - evaluation with AutoCast.
Proceedings of the Third World Congress on Nature & Biologically Inspired Computing, 2011

Using and operating wireless sensor network testbeds with WISEBED.
Proceedings of the 10th IFIP Annual Mediterranean Ad Hoc Networking Workshop, 2011

A Service-Oriented Operating System and an Application Development Infrastructure for Distributed Embedded Systems.
Proceedings of the 17th GI/ITG Conference on Communication in Distributed Systems, 2011

Using BPEL to Realize Business Processes for an Internet of Things.
Proceedings of the Ad-hoc, Mobile, and Wireless Networks - 10th International Conference, 2011

Methods for Improving the Flow of Traffic.
Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

Hovering Data Clouds for Organic Computing.
Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

2010
Empowered by wireless communication: Distributed methods for self-organizing traffic collectives.
ACM Trans. Auton. Adapt. Syst., 2010

Security in Sensor Networks (Sicherheit in Sensornetzwerken).
it Inf. Technol., 2010

Experimentalforschung für das Future Internet - deutsche und europäische Initiativen.
Inform. Spektrum, 2010

A Comprehensive Approach to Integrating Sensor Networks and Enterprise IT.
Int. J. Next Gener. Comput., 2010

Empowered by Wireless Communication: Self-Organizing Traffic Collectives
CoRR, 2010

Real-World G-Lab: Integrating Wireless Sensor Networks with the Future Internet.
Proceedings of the Testbeds and Research Infrastructures. Development of Networks and Communities, 2010

Topology Virtualization for Wireless Sensor Network Testbeds.
Proceedings of the Testbeds and Research Infrastructures. Development of Networks and Communities, 2010

Self-Description and Protocol Conversion for a Web of Things.
Proceedings of the IEEE International Conference on Sensor Networks, 2010

LTP: An Efficient Web Service Transport Protocol for Resource Constrained Devices.
Proceedings of the Seventh Annual IEEE Communications Society Conference on Sensor, 2010

Demo Abstract: Bridging the Gap between Simulated Sensor Nodes and the Real World.
Proceedings of the Real-World Wireless Sensor Networks - 4th International Workshop, 2010

Privacy Concerns in a Remote Monitoring and Social Networking Platform for Assisted Living.
Proceedings of the Privacy and Identity Management for Life, 2010

Making wireless sensor network simulators cooperate.
Proceedings of the 7th ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, 2010

Using state machines for a model driven development of web service-based sensor network applications.
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, 2010

2009
Generality Challenges and Approaches in WSNs.
Int. J. Commun. Netw. Syst. Sci., 2009

Towards Service Orientation on Resource Constrained Devices.
Proceedings of the WEBIST 2009, 2009

A wireless sensor network for border surveillance.
Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, 2009

WISEBED: An Open Large-Scale Wireless Sensor Network Testbed.
Proceedings of the Sensor Applications, Experimentation, and Logistics, 2009

Integrating wireless sensor networks into web service-based business processes.
Proceedings of the Fourth International Workshop on Middleware for Sensor Networks, 2009

Designing a Decentralized Traffic Information System - AutoNomos.
Proceedings of the Kommunikation in Verteilten Systemen (KiVS), 2009

Solar powered sensor network design and experimentation.
Proceedings of the 2009 6th International Symposium on Wireless Communication Systems, 2009

Algorithms and Simulation Methods for Topology-Aware Sensor Networks.
Proceedings of the Algorithmics of Large and Complex Networks - Design, 2009

09371 Abstracts Collection - Algorithmic Methods for Distributed Cooperative Systems.
Proceedings of the Algorithmic Methods for Distributed Cooperative Systems, 06.09., 2009

2008
Multi-hybride Sensornetze.
Prax. Inf.verarb. Kommun., 2008

XMl Compression for Web Services on Resource-Constrained Devices.
Int. J. Web Serv. Res., 2008

AutoCast: A General-Purpose Data Dissemination Protocol and its Application in Vehicular Networks.
Ad Hoc Sens. Wirel. Networks, 2008

Comprehensible security synthesis for wireless sensor networks.
Proceedings of the Third International Workshop on Middleware for Sensor Networks, 2008

Remote interaction tool for wireless sensor networks.
Proceedings of the Third International Symposium on Wireless Pervasive Computing, 2008

Location-Free Object Tracking on Graph Structures.
Proceedings of the Smart Sensing and Context, Third European Conference, 2008

2007
AutoCast: An Adaptive Data Dissemination Protocol for Traffic Information Systems.
Proceedings of the 66th IEEE Vehicular Technology Conference, 2007

Routing sensitive priority scheduling.
Proceedings of the First ACM Workshop on Sensor and Actor Networks, 2007

GRAPE - Gradient based Routing for All PurposE.
Proceedings of the IEEE 4th International Conference on Mobile Adhoc and Sensor Systems, 2007

NIDES: Ein Verfahren zur Multihop-Distanzschätzung mittels Nachbarschaftsanalyse.
Proceedings of the Kommunikation in Verteilten Systemen (KiVS), 2007

Towards Automatic Composition of Network Management Web Services.
Proceedings of the Integrated Network Management, 2007

Scaling multiplayer online games using proxy-server replication: a case study of Quake 2.
Proceedings of the 16th International Symposium on High-Performance Distributed Computing (HPDC-16 2007), 2007

SOAs an Hochschulen - Practice What You Preach!
Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007

Radio Propagation-Aware Distance Estimation Based on Neighborhood Comparison.
Proceedings of the Wireless Sensor Networks, 2007

Lean and robust phenomenon boundary approximation.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

Practical experiences on mobile inter-body-area-networking.
Proceedings of the 2nd International ICST Conference on Body Area Networks, 2007

Incremental Validation of String-Based XML Data in Databases, File Systems, and Streams.
Proceedings of the Advances in Databases and Information Systems, 2007

2006
Praxiserfahrungen mit MarathonNet - Ein mobiles Sensornetz im Sport.
Prax. Inf.verarb. Kommun., 2006

Bandwidth and Latency Considerations for Efficient SOAP Messaging.
Int. J. Web Serv. Res., 2006

Platform-independent authoring and production of rapid e-learning content.
Interact. Technol. Smart Educ., 2006

Deterministic boundary recognition and topology extraction for large sensor networks.
Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2006

Towards Unmanaged Multimedia Adaptations using Automated Aspect Weaving.
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

Minimal transmission power as distance estimation for precise localization in sensor networks.
Proceedings of the International Conference on Wireless Communications and Mobile Computing, 2006

Recognizing Traffic Jams with Hovering Data Clouds.
Proceedings of the Leveraging Applications of Formal Methods, 2006

MarathonNet: adding value to large scale sport events - a connectivity analysis.
Proceedings of the First International Conference in Integrated Internet Ad Hoc and Sensor Networks, 2006

Compressing SOAP Messages by using Pushdown Automata.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Hovering Data Clouds: A Decentralized and Self-organizing Information System.
Proceedings of the Self-Organizing Systems, First International Workshop, 2006

Estimating Distances Using Neighborhood Intersection.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Geometric Distance Estimation for Sensor Networks and Unit Disk Graphs.
Proceedings of the Geometric Networks and Metric Space Embeddings, 26.11. - 01.12.2006, 2006

2005
SpyGlass: a wireless sensor network visualizer.
SIGBED Rev., 2005

Kommunikationsaufwand von Verfahren zur Errichtung eines konsistenten Zeitbewusstseins. Eine quantitative Analyse.
Prax. Inf.verarb. Kommun., 2005

WSDL-Driven SOAP Compression.
Int. J. Web Serv. Res., 2005

Koordinatenfreies Lokationsbewusstsein (Localization without Coordinates).
it Inf. Technol., 2005

Shawn: A new approach to simulating wireless sensor networks
CoRR, 2005

A Reflective Runtime Environment for Dynamic Adaptation of Streaming Media on Resource Constrained Devices.
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

From Diodes to Insights.
Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

Mehr Flexibilität bei Rapid E-Learning - Plattformunabhängige Repräsentation aller Kursdaten.
Proceedings of the DeLFI 2005: 3. Deutsche e-Learning Fachtagung Informatik, 2005

Deterministic boundary recongnition and topology extraction for large sensor networks.
Proceedings of the Algorithmic Aspects of Large and Complex Networks, 4.-9. September 2005, 2005

2004
MINE and MILE: improving connectivity in mobile ad-hoc networks.
ACM SIGMOBILE Mob. Comput. Commun. Rev., 2004

Web Services.
Prax. Inf.verarb. Kommun., 2004

Protokollunterstützung für SOAP Web Services auf mobilen Geräten.
Prax. Inf.verarb. Kommun., 2004

SpyGlass: taking a closer look at sensor networks.
Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems, 2004

Compressing SOAP Messages by using Differential Encoding.
Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

Shared Information Spaces for Small Devices: The SWARMS Software Concept.
Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

A Proxy Server-Network for Real-Time Computer Games.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004

A Security Architecture for Mobile Wireless Sensor Networks.
Proceedings of the Security in Ad-hoc and Sensor Networks, First European Workshop, 2004

Rechtliche Grundlagen für den Umgang mit Lernobjekten mobiles Lernen.
Proceedings of the DeLFI 2004: Die e-Learning Fachtagung Informatik, 2004

Ein Referenzmodell zur Bildungskostenrechnung.
Proceedings of the DeLFI 2004: Die e-Learning Fachtagung Informatik, 2004

Neighborhood-Based Topology Recognition in Sensor Networks.
Proceedings of the Algorithmic Aspects of Wireless Sensor Networks: First International Workshop, 2004

2003
Increasing Connectivity of Ad-Hoc Networks.
Proceedings of the Kommunikation in Verteilten Systemen (KiVS), 2003

Basissoftware für selbstorganisierende Infrastrukturen für vernetzte mobile Systeme.
Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003

Grundlagen eines Kalkulationsmodells für Blended Learning Kurse.
Proceedings of the DeLFI 2003, 2003

Web-Services - Grundlagen und praktische Umsetzung mit J2EE und .NET.
Hanser, ISBN: 978-3-446-22530-5, 2003

2002
Metropolitan Area Mobile Services to Support Virtual Groups.
IEEE Trans. Mob. Comput., 2002

Ansätze zur Analyse und Simulation von Ad-Hoc Netzwerken.
Proceedings of the Mobile Ad-Hoc Netzwerke, 2002

A generic proxy system for networked computer games.
Proceedings of the 1st Workshop on Network and System Support for Games, 2002

A Robust Header Compression Simulator & Visualizer.
Proceedings of the Trends in Network and Pervasive Computing, 2002

Java tools - using XML, EJB, Corba, Servlets and SOAP.
Wiley-VCH, ISBN: 978-0-471-48666-4, 2002

2001
Reusable Multimedia Content in Web-Based Learning Systems.
IEEE Multim., 2001

Communication Support for Mobile Virtual Groups.
Proceedings of the Kommunikation in Verteilten Systemen (KiVS), 2001

2000
Tool support for hardware/software co-design of communication protocols.
Comput. Commun., 2000

Group voice conferencing for mobile environments.
Proceedings of the Proceedings Ninth International Conference on Computer Communications and Networks, 2000

Java-Bausteine für E-Commerce-Anwendungen - verteilte Anwendungen mit Servlets, CORBA und XML.
Hanser, ISBN: 978-3-446-21372-2, 2000

1999
Towards the automatic generation of quality-of-service-preserving implementations from formal specifications.
Comput. Commun., 1999

COSTPN for Modeling and Control of Telecommunication Systems.
Proceedings of the Application of Petri Nets to Communication Networks, 1999

1998
Cooperative QoS Management.
Prax. Inf.verarb. Kommun., 1998

Multimedia-Dienstgüte: Bemühungen um Qualitätsgarantien.
Prax. Inf.verarb. Kommun., 1998

Formal Methods for Broadband and Multimedia Systems.
Comput. Networks, 1998

QoS Management: A Model-Based Approach.
Proceedings of the MASCOTS 1998, 1998

1997
A multi-gent architecture for cooperative quality of service management.
Proceedings of the Management of Multimedia Networks and Services, 1997

Controlled Stochastic Petri Nets for Multimedia QoS Management.
Proceedings of the MMB '97, 1997

Formal Methods for Broadband and Multimedia Systems (Tutorial).
Proceedings of the Pulling Together, 1997

Cooperative QoS Management for Multimedia Applications.
Proceedings of the International Conference on Multimedia Computing and Systems, 1997

1996
Formale Spezifikation und Implementierung von Hochleistungsprotokollen.
PhD thesis, 1996

Implementation of Multimedia Systems based on Real-Time Extensions of Estelle.
Proceedings of the Formal Description Techniques IX: Theory, 1996

Hardware/Software Co-Design of Communication Protocols.
Proceedings of the 22rd EUROMICRO Conference '96, 1996

1995
Quality of Service Mapping in Distributed Multimedia Systems.
Proceedings of the International Conference on Multimedia Networking, 1995

1994
Implementing Movie Control, Access and Management - From a Formal Description to a Working Multimedia System.
Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

1993
An Estelle Compiler for Multiprocessor Platforms.
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993


  Loading...